Add test type-mismatch-suggest-wrap-issue-145634

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

Author: xizheyin

tests/ui/type/type-mismatch-suggest-wrap-issue-145634.rs

@@ -0,0 +1,9 @@
+// We should not suggest wrapping rhs with `Some`
+// when the found type is an unresolved type variable
+// 
+// See https://github.com/rust-lang/rust/issues/145634
+
+fn main() {
+    let foo = Some(&(1, 2));
+    assert!(matches!(foo, &Some((1, 2)))); //~ ERROR mismatched types [E0308]
+}

tests/ui/type/type-mismatch-suggest-wrap-issue-145634.stderr

@@ -0,0 +1,18 @@
+error[E0308]: mismatched types
+  --> $DIR/type-mismatch-suggest-wrap-issue-145634.rs:8:27
+   |
+LL |     assert!(matches!(foo, &Some((1, 2))));
+   |                      ---  ^^^^^^^^^^^^^ expected `Option<&({integer}, {integer})>`, found `&_`
+   |                      |
+   |                      this expression has type `Option<&({integer}, {integer})>`
+   |
+   = note:   expected enum `Option<&({integer}, {integer})>`
+           found reference `&_`
+help: try wrapping the pattern in `Some`
+   |
+LL |     assert!(matches!(foo, Some(&Some((1, 2)))));
+   |                           +++++             +
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0308`.