do not fetch variance info during generalization

This commit is contained in:
lcnr 2023-10-23 14:48:45 +02:00
parent cf8d81213c
commit 2d0ec174e4

View file

@ -193,7 +193,7 @@ where
opt_variances, opt_variances,
a_subst, a_subst,
b_subst, b_subst,
true, false,
) )
} }
} }