Unconstrained TypeVars should not infer UninhabitedType as the result -- it leads to confusing behavior. (See: `testUnderspecifiedInferenceResult`)