set has_unconstrained_ty_var when generalizing aliases in bivariant contexts#126022
Merged
has_unconstrained_ty_var when generalizing aliases in bivariant contexts#126022