AST: Fix latent bug with GenericSignatureImpl::isRequirementSatisfied()

slavapestov · slavapestov · commit 7eecf9713261 · 2024-09-19T14:18:34.000-04:00
diff --git a/lib/AST/GenericSignature.cpp b/lib/AST/GenericSignature.cpp
@@ -412,7 +412,8 @@ bool GenericSignatureImpl::isRequirementSatisfied(
 
     requirement = requirement.subst(
         QueryInterfaceTypeSubstitutions{genericEnv},
-        LookUpConformanceInModule());
+        LookUpConformanceInModule(),
+        SubstFlags::PreservePackExpansionLevel);
   }
 
   SmallVector<Requirement, 2> subReqs;

Original file line number	Diff line number	Diff line change
`@@ -412,7 +412,8 @@ bool GenericSignatureImpl::isRequirementSatisfied(`
`412`	`412`
`413`	`413`	`requirement = requirement.subst(`
`414`	`414`	`QueryInterfaceTypeSubstitutions{genericEnv},`
`415`		`- LookUpConformanceInModule());`
	`415`	`+ LookUpConformanceInModule(),`
	`416`	`+ SubstFlags::PreservePackExpansionLevel);`
`416`	`417`	`}`
`417`	`418`
`418`	`419`	`SmallVector<Requirement, 2> subReqs;`