[CSClosure] NFC: Add a test-case for rdar://92757114

Used to produce a fallback `type of expression ...` diagnostic

Author: xedin

test/expr/closure/multi_statement.swift

@@ -1,3 +1,4 @@
+
 // RUN: %target-typecheck-verify-swift -swift-version 5 -enable-experimental-static-assert
 
 func isInt<T>(_ value: T) -> Bool {
@@ -380,6 +381,37 @@ func test_diagnosing_on_missing_member_in_case() {
   }
 }
 
+// rdar://92757114 - fallback diagnostic when member doesn't exist in a nested closure
+func test_diagnose_missing_member_in_inner_closure() {
+  struct B {
+    static var member: any StringProtocol = ""
+  }
+
+  struct Cont<T, E: Error> {
+    func resume(returning value: T) {}
+  }
+
+  func withCont<T>(function: String = #function,
+                   _ body: (Cont<T, Never>) -> Void) -> T {
+    fatalError()
+  }
+
+  func test(vals: [Int]?) -> [Int] {
+    withCont { continuation in
+      guard let vals = vals else {
+        return continuation.resume(returning: [])
+      }
+
+      B.member.get(0, // expected-error {{value of type 'any StringProtocol' has no member 'get'}}
+                   type: "type",
+                   withinSecs: Int(60*60)) { arr in
+        let result = arr.compactMap { $0 }
+        return continuation.resume(returning: result)
+      }
+    }
+  }
+}
+
 // Type finder shouldn't bring external closure result type
 // into the scope of an inner closure e.g. while solving
 // init of pattern binding `x`.