ProducedType: make sure the variance overrides are taken into account for hash/equals