Sema: Banish GenericTypeParamType from the constraint system

slavapestov · slavapestov · commit 3eb43cf44088 · 2025-02-19T20:27:23.000-05:00
diff --git a/lib/Sema/Constraint.cpp b/lib/Sema/Constraint.cpp
@@ -48,7 +48,7 @@ Constraint::Constraint(ConstraintKind kind, ArrayRef<Constraint *> constraints,
 }
 
 static bool isAdmissibleType(Type type) {
-  return !type->hasUnboundGenericType();
+  return !type->hasUnboundGenericType() && !type->hasTypeParameter();
 }
 
 Constraint::Constraint(ConstraintKind Kind, Type First, Type Second,

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ Constraint::Constraint(ConstraintKind kind, ArrayRef<Constraint *> constraints,`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	`static bool isAdmissibleType(Type type) {`
`51`		`- return !type->hasUnboundGenericType();`
	`51`	`+ return !type->hasUnboundGenericType() && !type->hasTypeParameter();`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`Constraint::Constraint(ConstraintKind Kind, Type First, Type Second,`