allow escaping bound vars when normalizing ty::Opaque
#75443
+17
−9
Merged