extends_Constraints_on_infer_Type_Variables