From 3d5d1d72e0db38ff9832df8021fd62af873f1d99 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maja=20K=C4=85dzio=C5=82ka?= <maya@compilercrim.es>
Date: Sat, 31 May 2025 00:07:16 +0200
Subject: [PATCH] Mark crash 140011 as fixed

---
 tests/crashes/140011.rs                       | 11 ------
 .../malformed-pattern-issue-140011.rs         | 13 +++++++
 .../malformed-pattern-issue-140011.stderr     | 36 +++++++++++++++++++
 3 files changed, 49 insertions(+), 11 deletions(-)
 delete mode 100644 tests/crashes/140011.rs
 create mode 100644 tests/ui/closures/malformed-pattern-issue-140011.rs
 create mode 100644 tests/ui/closures/malformed-pattern-issue-140011.stderr

diff --git a/tests/crashes/140011.rs b/tests/crashes/140011.rs
deleted file mode 100644
index b9d57a2822d2..000000000000
--- a/tests/crashes/140011.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-//@ known-bug: #140011
-//@compile-flags: -Wrust-2021-incompatible-closure-captures
-enum b {
-    c(d),
-    e(f),
-}
-struct f;
-fn g() {
-    let h;
-    || b::e(a) = h;
-}
diff --git a/tests/ui/closures/malformed-pattern-issue-140011.rs b/tests/ui/closures/malformed-pattern-issue-140011.rs
new file mode 100644
index 000000000000..18061613e988
--- /dev/null
+++ b/tests/ui/closures/malformed-pattern-issue-140011.rs
@@ -0,0 +1,13 @@
+//@compile-flags: -Wrust-2021-incompatible-closure-captures
+enum B {
+    C(D), //~ ERROR: cannot find type `D` in this scope
+    E(F),
+}
+struct F;
+fn f(h: B) {
+    || {
+        let B::E(a) = h; //~ ERROR: refutable pattern in local binding
+    };
+}
+
+fn main() {}
diff --git a/tests/ui/closures/malformed-pattern-issue-140011.stderr b/tests/ui/closures/malformed-pattern-issue-140011.stderr
new file mode 100644
index 000000000000..08122b8a7d2e
--- /dev/null
+++ b/tests/ui/closures/malformed-pattern-issue-140011.stderr
@@ -0,0 +1,36 @@
+error[E0412]: cannot find type `D` in this scope
+  --> $DIR/malformed-pattern-issue-140011.rs:3:7
+   |
+LL |     C(D),
+   |       ^ not found in this scope
+   |
+help: you might be missing a type parameter
+   |
+LL | enum B<D> {
+   |       +++
+
+error[E0005]: refutable pattern in local binding
+  --> $DIR/malformed-pattern-issue-140011.rs:9:13
+   |
+LL |         let B::E(a) = h;
+   |             ^^^^^^^ pattern `B::C(_)` not covered
+   |
+   = note: `let` bindings require an "irrefutable pattern", like a `struct` or an `enum` with only one variant
+   = note: for more information, visit https://doc.rust-lang.org/book/ch19-02-refutability.html
+note: `B` defined here
+  --> $DIR/malformed-pattern-issue-140011.rs:2:6
+   |
+LL | enum B {
+   |      ^
+LL |     C(D),
+   |     - not covered
+   = note: the matched value is of type `B`
+help: you might want to use `let else` to handle the variant that isn't matched
+   |
+LL |         let B::E(a) = h else { todo!() };
+   |                         ++++++++++++++++
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0005, E0412.
+For more information about an error, try `rustc --explain E0005`.