Merge pull request swiftlang#32737 from vukrado/SR-11399

xedin · web-flow · commit b642b416f383 · 2020-07-07T11:05:18.000-07:00
[Sema] Mark the direct callee as being a callee for all ApplyExprs not just CallExprs
diff --git a/lib/Sema/TypeCheckConstraints.cpp b/lib/Sema/TypeCheckConstraints.cpp
@@ -1157,7 +1157,7 @@ namespace {
       ExprStack.pop_back();
 
       // Mark the direct callee as being a callee.
-      if (auto *call = dyn_cast<CallExpr>(expr))
+      if (auto *call = dyn_cast<ApplyExpr>(expr))
         markDirectCallee(call->getFn());
 
       // Fold sequence expressions.
diff --git a/test/Constraints/operator.swift b/test/Constraints/operator.swift
@@ -293,3 +293,9 @@ func rdar_62054241() {
     // expected-note@-1 {{found candidate with type '(Foo, Foo) -> Bool'}}
   }
 }
+
+// SR-11399 - Operator returning IUO doesn't implicitly unwrap
+postfix operator ^^^
+postfix func ^^^ (lhs: Int) -> Int! { 0 }
+
+let x: Int = 1^^^

Original file line number	Diff line number	Diff line change
`@@ -293,3 +293,9 @@ func rdar_62054241() {`
`293`	`293`	`// expected-note@-1 {{found candidate with type '(Foo, Foo) -> Bool'}}`
`294`	`294`	`}`
`295`	`295`	`}`
	`296`	`+`
	`297`	`+// SR-11399 - Operator returning IUO doesn't implicitly unwrap`
	`298`	`+postfix operator ^^^`
	`299`	`+postfix func ^^^ (lhs: Int) -> Int! { 0 }`
	`300`	`+`
	`301`	`+let x: Int = 1^^^`