[ConstraintSystem] Result builder transformed closures always participate in inference

xedin · xedin · commit a7c66ee849c8 · 2022-12-12T11:00:08.000-08:00
diff --git a/lib/Sema/ConstraintSystem.cpp b/lib/Sema/ConstraintSystem.cpp
@@ -6930,6 +6930,9 @@ bool ConstraintSystem::isArgumentGenericFunction(Type argType, Expr *argExpr) {
 }
 
 bool ConstraintSystem::participatesInInference(ClosureExpr *closure) const {
+  if (getAppliedResultBuilderTransform(closure))
+    return true;
+
   if (closure->hasSingleExpressionBody())
     return true;
 

Original file line number	Diff line number	Diff line change
`@@ -6930,6 +6930,9 @@ bool ConstraintSystem::isArgumentGenericFunction(Type argType, Expr *argExpr) {`
`6930`	`6930`	`}`
`6931`	`6931`
`6932`	`6932`	`bool ConstraintSystem::participatesInInference(ClosureExpr *closure) const {`
	`6933`	`+ if (getAppliedResultBuilderTransform(closure))`
	`6934`	`+ return true;`
	`6935`	`+`
`6933`	`6936`	`if (closure->hasSingleExpressionBody())`
`6934`	`6937`	`return true;`
`6935`	`6938`