Unnamed repository; edit this file 'description' to name the repository.
add test, bless tests
| -rw-r--r-- | crates/hir-ty/src/tests/patterns.rs | 4 | ||||
| -rw-r--r-- | crates/hir-ty/src/tests/simple.rs | 21 |
2 files changed, 22 insertions, 3 deletions
diff --git a/crates/hir-ty/src/tests/patterns.rs b/crates/hir-ty/src/tests/patterns.rs index 4949d4016b..50bc47cf67 100644 --- a/crates/hir-ty/src/tests/patterns.rs +++ b/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} diff --git a/crates/hir-ty/src/tests/simple.rs b/crates/hir-ty/src/tests/simple.rs index 9e0920e41b..50a1ecd006 100644 --- a/crates/hir-ty/src/tests/simple.rs +++ b/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] + "#]], ); } |