diff options
author | Marcus Klaas de Vries <[email protected]> | 2019-01-17 09:54:47 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-01-19 12:37:25 +0000 |
commit | 9433a108cfcf3a9c7de9299d6641a5abf9031a17 (patch) | |
tree | d7054f505217be400c1e4b77417a2b9c525dd90f /crates/ra_hir/src/ty | |
parent | be1b4034a523081cfeea1c7a1d61130d5d1778e1 (diff) |
Make pattern inference work w/o proper expecations
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/tests/data/pattern.txt | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/tests/data/pattern.txt b/crates/ra_hir/src/ty/tests/data/pattern.txt index cca521833..8b7c967c4 100644 --- a/crates/ra_hir/src/ty/tests/data/pattern.txt +++ b/crates/ra_hir/src/ty/tests/data/pattern.txt | |||
@@ -1,5 +1,5 @@ | |||
1 | [9; 10) 'x': &i32 | 1 | [9; 10) 'x': &i32 |
2 | [18; 98) '{ ...o"); }': () | 2 | [18; 259) '{ ...c }; }': () |
3 | [28; 29) 'y': &i32 | 3 | [28; 29) 'y': &i32 |
4 | [32; 33) 'x': &i32 | 4 | [32; 33) 'x': &i32 |
5 | [43; 45) '&z': &i32 | 5 | [43; 45) '&z': &i32 |
@@ -13,3 +13,27 @@ | |||
13 | [83; 95) '(1, "hello")': (i32, &str) | 13 | [83; 95) '(1, "hello")': (i32, &str) |
14 | [84; 85) '1': i32 | 14 | [84; 85) '1': i32 |
15 | [87; 94) '"hello"': &str | 15 | [87; 94) '"hello"': &str |
16 | [102; 152) 'for (e... }': () | ||
17 | [106; 112) '(e, f)': ([unknown], [unknown]) | ||
18 | [107; 108) 'e': [unknown] | ||
19 | [110; 111) 'f': [unknown] | ||
20 | [116; 125) 'some_iter': [unknown] | ||
21 | [126; 152) '{ ... }': () | ||
22 | [140; 141) 'g': [unknown] | ||
23 | [144; 145) 'e': [unknown] | ||
24 | [158; 205) 'if let... }': () | ||
25 | [165; 170) '[val]': [unknown] | ||
26 | [173; 176) 'opt': [unknown] | ||
27 | [177; 205) '{ ... }': () | ||
28 | [191; 192) 'h': [unknown] | ||
29 | [195; 198) 'val': [unknown] | ||
30 | [215; 221) 'lambda': [unknown] | ||
31 | [224; 256) '|a: u6...b; c }': [unknown] | ||
32 | [225; 226) 'a': u64 | ||
33 | [233; 234) 'b': u64 | ||
34 | [236; 237) 'c': i32 | ||
35 | [244; 256) '{ a + b; c }': i32 | ||
36 | [246; 247) 'a': u64 | ||
37 | [246; 251) 'a + b': u64 | ||
38 | [250; 251) 'b': u64 | ||
39 | [253; 254) 'c': i32 | ||