Merge pull request #79828 from xedin/rdar-145103149

[CSBindings] Don't delay inferred loeading-dot base inference if sour…

Author: xedin

lib/Sema/CSBindings.cpp

@@ -129,9 +129,15 @@ bool BindingSet::isDelayed() const {
       if (Bindings.empty())
         return true;
 
-
-      if (Bindings[0].BindingType->is<ProtocolType>())
-        return true;
+      if (Bindings[0].BindingType->is<ProtocolType>()) {
+        auto *locator = Bindings[0].getLocator();
+        // If the binding got inferred from a contextual type
+        // this set shouldn't be delayed because there won't
+        // be any other inference sources for this leading-dot
+        // syntax member.
+        if (!locator->findLast<LocatorPathElt::ContextualType>())
+          return true;
+      }
     }
 
     // Since force unwrap preserves l-valueness, resulting

test/Constraints/result_builder.swift

@@ -1402,3 +1402,33 @@ func testBuildFinalResultDependentOnContextualType() {
 
 testBuildFinalResultDependentOnContextualType()
 // CHECK: Optional(42)
+
+protocol TestLeadingDot {
+}
+
+@resultBuilder
+struct IntBuilder {
+  static func buildBlock(_ v: Int) -> Int {
+    print("buildBlock: \(v)")
+    return v
+  }
+}
+
+extension TestLeadingDot where Self == NoopImpl {
+  static func test(@IntBuilder builder: () -> Int) -> NoopImpl {
+    builder()
+    return NoopImpl()
+  }
+}
+
+struct NoopImpl : TestLeadingDot {
+}
+
+func testLeadingDotSyntax(v: Int) {
+  let x: some TestLeadingDot = .test {
+    v
+  }
+}
+
+testLeadingDotSyntax(v: -42)
+// CHECK: buildBlock: -42