Add test suggest-with-let-issue-145548

Signed-off-by: xizheyin <[email protected]>

Author: xizheyin

tests/ui/let-else/suggest-with-let-issue-145548.rs

@@ -0,0 +1,18 @@
+// `Some(x) = Some(1)` is treated as a let statement/expr,
+// so we should not suggest to add `let ... else{...}`
+
+fn foo1(){
+    let x = 2;
+    Some(x) = Some(1); //~ ERROR refutable pattern in local binding [E0005]
+}
+
+fn foo2(){
+    let x = 2;
+    let Some(x) = Some(1); //~ ERROR refutable pattern in local binding [E0005]
+}
+
+fn foo3(){
+    Some(()) = Some(()); //~ ERROR refutable pattern in local binding [E0005]
+}
+
+fn main() {}

tests/ui/let-else/suggest-with-let-issue-145548.stderr

@@ -0,0 +1,45 @@
+error[E0005]: refutable pattern in local binding
+  --> $DIR/suggest-with-let-issue-145548.rs:6:5
+   |
+LL |     Some(x) = Some(1);
+   |     ^^^^^^^ pattern `None` 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: the matched value is of type `Option<i32>`
+help: you might want to use `let else` to handle the variant that isn't matched
+   |
+LL |     Some(x) = Some(1) else { todo!() };
+   |                       ++++++++++++++++
+
+error[E0005]: refutable pattern in local binding
+  --> $DIR/suggest-with-let-issue-145548.rs:11:9
+   |
+LL |     let Some(x) = Some(1);
+   |         ^^^^^^^ pattern `None` 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: the matched value is of type `Option<i32>`
+help: you might want to use `let else` to handle the variant that isn't matched
+   |
+LL |     let Some(x) = Some(1) else { todo!() };
+   |                           ++++++++++++++++
+
+error[E0005]: refutable pattern in local binding
+  --> $DIR/suggest-with-let-issue-145548.rs:15:5
+   |
+LL |     Some(()) = Some(());
+   |     ^^^^^^^^ pattern `None` 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: the matched value is of type `Option<()>`
+help: you might want to use `if let` to ignore the variant that isn't matched
+   |
+LL |     if Some(()) = Some(()) { todo!() };
+   |     ++                     +++++++++++
+
+error: aborting due to 3 previous errors
+
+For more information about this error, try `rustc --explain E0005`.