[ConstraintSystem] Look through ArgumentAttribute element when computing a callee

xedin · xedin · commit 622475bf1543 · 2025-06-05T22:30:46.000-07:00
This element is used purely for diagnostic purposes and locator
should behavior as if it's completely transparent.
diff --git a/lib/Sema/ConstraintSystem.cpp b/lib/Sema/ConstraintSystem.cpp
@@ -730,7 +730,9 @@ ConstraintLocator *ConstraintSystem::getCalleeLocator(
   }
 
   if (locator->isLastElement<LocatorPathElt::ArgumentAttribute>()) {
-    return getConstraintLocator(anchor, path.drop_back());
+    auto argLoc = getConstraintLocator(anchor, path.drop_back());
+    return getCalleeLocator(argLoc, lookThroughApply, getType, simplifyType,
+                            getOverloadFor);
   }
 
   // If we have a locator that starts with a key path component element, we

Original file line number	Diff line number	Diff line change
`@@ -730,7 +730,9 @@ ConstraintLocator *ConstraintSystem::getCalleeLocator(`
`730`	`730`	`}`
`731`	`731`
`732`	`732`	`if (locator->isLastElement<LocatorPathElt::ArgumentAttribute>()) {`
`733`		`- return getConstraintLocator(anchor, path.drop_back());`
	`733`	`+ auto argLoc = getConstraintLocator(anchor, path.drop_back());`
	`734`	`+ return getCalleeLocator(argLoc, lookThroughApply, getType, simplifyType,`
	`735`	`+ getOverloadFor);`
`734`	`736`	`}`
`735`	`737`
`736`	`738`	`// If we have a locator that starts with a key path component element, we`