Merge pull request #64398 from xedin/rdar-106621760

[CSDiagnostics] Ignore placeholder types that appear in editor placeh…

Author: xedin

lib/Sema/CSDiagnostics.cpp

@@ -8322,6 +8322,13 @@ bool CouldNotInferPlaceholderType::diagnoseAsError() {
     }
   }
 
+  // When placeholder type appears in an editor placeholder i.e.
+  // `<#T##() -> _#>` we rely on the parser to produce a diagnostic
+  // about editor placeholder and glance over all placeholder type
+  // inference issues.
+  if (isExpr<EditorPlaceholderExpr>(getAnchor()))
+    return true;
+
   return false;
 }
 

test/Sema/placeholder_type.swift

@@ -270,3 +270,16 @@ func deferredInit(_ c: Bool) {
 // https://github.com/apple/swift/issues/63130
 let _: _  = nil // expected-error{{'nil' requires a contextual type}}
 let _: _? = nil // expected-error{{'nil' requires a contextual type}}
+
+// rdar://106621760 - failed to produce a diagnostic when placeholder type appears in editor placeholder
+do {
+  struct X<T> {
+    init(content: () -> T) {}
+  }
+
+  func test(_: () -> Void) {}
+
+  test {
+    _ = X(content: <#T##() -> _#>) // expected-error {{editor placeholder in source file}}
+  }
+}