Allow infer type variables to have constraints inferred
#32093
Merged
infer type variables to have constraints inferred
#32093