add test, bless tests

Author: alibektas

src/tools/rust-analyzer/crates/hir-ty/src/tests/patterns.rs

@@ -67,9 +67,9 @@ fn infer_pattern() {
             143..144 'e': {unknown}
             157..204 'if let...     }': ()
             160..175 'let [val] = opt': bool
-            164..169 '[val]': [{unknown}]
+            164..169 '[val]': [{unknown}; 1]
             165..168 'val': {unknown}
-            172..175 'opt': [{unknown}]
+            172..175 'opt': [{unknown}; 1]
             176..204 '{     ...     }': ()
             190..191 'h': {unknown}
             194..197 'val': {unknown}

src/tools/rust-analyzer/crates/hir-ty/src/tests/simple.rs

@@ -3839,6 +3839,25 @@ fn main() {
     let [b, c] = a.into();
 }
 "#,
-        expect![],
+        expect![[r#"
+            50..51 'a': A
+            64..86 '{     ...     }': [u8; 2]
+            74..80 '[0; 2]': [u8; 2]
+            75..76 '0': u8
+            78..79 '2': usize
+            128..129 'a': A
+            142..164 '{     ...     }': [u8; 3]
+            152..158 '[0; 3]': [u8; 3]
+            153..154 '0': u8
+            156..157 '3': usize
+            179..224 '{     ...o(); }': ()
+            189..190 'a': A
+            193..194 'A': A
+            204..210 '[b, c]': [u8; 2]
+            205..206 'b': u8
+            208..209 'c': u8
+            213..214 'a': A
+            213..221 'a.into()': [u8; 2]
+        "#]],
     );
 }