Merge pull request #85588 from swiftlang/jepa-main2

[test] Add tracking test for https://github.com/swiftlang/swift/issues/85587

test/expr/closure/closures2.swift

@@ -0,0 +1,21 @@
+// RUN: %target-typecheck-verify-swift
+
+// https://github.com/swiftlang/swift/issues/85587
+do {
+  struct Mootex<T> {
+    func withLock<Result>(_: (T) -> Result) -> Result {}
+  }
+
+  func never() -> Never {}
+
+  struct Test {
+    let _i = Mootex<Int>()
+
+    var i: Int {
+      // expected-error@+1:10 {{failed to produce diagnostic for expression}}
+      _i.withLock { _ in
+        never()
+      }
+    }
+  }
+}