RequirementMachine: Change an isExistentialType() to isConstraintType()

slavapestov · slavapestov · commit 504b2ebd4e1e · 2022-04-21T13:49:34.000-04:00
diff --git a/lib/AST/RequirementMachine/RequirementLowering.cpp b/lib/AST/RequirementMachine/RequirementLowering.cpp
@@ -340,7 +340,7 @@ static void desugarConformanceRequirement(Type subjectType, Type constraintType,
   }
 
   for (auto memberType : compositionType->getMembers()) {
-    if (memberType->isExistentialType())
+    if (memberType->isConstraintType())
       desugarConformanceRequirement(subjectType, memberType,
                                     loc, result, errors);
     else

Original file line number	Diff line number	Diff line change
`@@ -340,7 +340,7 @@ static void desugarConformanceRequirement(Type subjectType, Type constraintType,`
`340`	`340`	`}`
`341`	`341`
`342`	`342`	`for (auto memberType : compositionType->getMembers()) {`
`343`		`- if (memberType->isExistentialType())`
	`343`	`+ if (memberType->isConstraintType())`
`344`	`344`	`desugarConformanceRequirement(subjectType, memberType,`
`345`	`345`	`loc, result, errors);`
`346`	`346`	`else`