Discards some type information that is not needed in `GenericDictionaryEquivalencyStep` to avoid the possibility of runtime errors such as those corrected in 8ec33569e7ba1e3e242d094511ecf994387c1f91.