---

yaml
---
r: 349212
b: refs/heads/master-next
c: 71f3285
h: refs/heads/master

Author: Harlan Haskins

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: b904133c42266035d688dec215138c340efb3eed
+refs/heads/master-next: 71f3285d3b9f8ed230b1eb6c7e426e85aee33b8e
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

branches/master-next/lib/Sema/TypeCheckConstraints.cpp

@@ -894,12 +894,6 @@ namespace {
         continue;
       }
 
-      // Coercions can be used for disambiguation.
-      if (auto coerce = dyn_cast<CoerceExpr>(callee)) {
-        callee = coerce->getSubExpr();
-        continue;
-      }
-
       // We're done.
       break;
     }

branches/master-next/test/Sema/suppress-argument-labels-in-types.swift

@@ -204,3 +204,21 @@ class C0 {
 
 // Check diagnostics changes.
 let _ = min(Int(3), Float(2.5)) // expected-error{{cannot convert value of type 'Float' to expected argument type 'Int'}}
+
+// SR-11429
+func testIntermediateCoercions() {
+  _ = (f1 as (Int, Int) -> Int)(a: 0, b: 1) // expected-error {{extraneous argument labels 'a:b:' in call}}
+  _ = (f1 as (Int, Int) -> Int)(0, 1)
+
+  typealias Magic<T> = T
+  _ = (f1 as Magic)(a: 0, b: 1) // expected-error {{extraneous argument labels 'a:b:' in call}}
+  _ = (f1 as Magic)(0, 1)
+
+  _ = (f4 as (Int, Int) -> Int)(0, 0)
+  _ = (f4 as (Double, Double) -> Double)(0, 0)
+
+  func iuoReturning() -> Int! {}
+  _ = (iuoReturning as () -> Int?)()
+  _ = (iuoReturning as Magic)()
+  _ = (iuoReturning as () -> Int)() // expected-error {{cannot convert value of type '() -> Int?' to type '() -> Int' in coercion}}
+}