RequirementMachine: Don't crash if we cannot desugar a same-shape requirement

slavapestov · slavapestov · commit 3c6567d3b139 · 2025-06-16T16:21:58.000-04:00
diff --git a/lib/AST/RequirementMachine/RequirementLowering.cpp b/lib/AST/RequirementMachine/RequirementLowering.cpp
@@ -451,6 +451,7 @@ static void desugarSameShapeRequirement(
       !req.getSecondType()->isParameterPack()) {
     errors.push_back(RequirementError::forInvalidShapeRequirement(
         req, loc));
+    return;
   }
 
   result.emplace_back(RequirementKind::SameShape,

Original file line number	Diff line number	Diff line change
`@@ -451,6 +451,7 @@ static void desugarSameShapeRequirement(`
`451`	`451`	`!req.getSecondType()->isParameterPack()) {`
`452`	`452`	`errors.push_back(RequirementError::forInvalidShapeRequirement(`
`453`	`453`	`req, loc));`
	`454`	`+ return;`
`454`	`455`	`}`
`455`	`456`
`456`	`457`	`result.emplace_back(RequirementKind::SameShape,`