diff options
author | Marcus Klaas de Vries <[email protected]> | 2019-01-16 23:29:26 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-01-19 12:37:25 +0000 |
commit | 06d16a18f632711de588ccd12a6a1ed6f2b9ad69 (patch) | |
tree | 88059c2a9b05147e5a393183883f78087a37047c /crates/ra_hir/src/ty | |
parent | ac216880f5d1a3e5727b96d7b22433beec10382b (diff) |
Implement match binding type inference and arm unification
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/tests/data/adt_pattern.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/tests/data/adt_pattern.txt b/crates/ra_hir/src/ty/tests/data/adt_pattern.txt index 41e9c9d34..3b9b9a078 100644 --- a/crates/ra_hir/src/ty/tests/data/adt_pattern.txt +++ b/crates/ra_hir/src/ty/tests/data/adt_pattern.txt | |||
@@ -1,4 +1,4 @@ | |||
1 | [68; 155) '{ ...= e; }': () | 1 | [68; 221) '{ ... }; }': () |
2 | [78; 79) 'e': E | 2 | [78; 79) 'e': E |
3 | [82; 95) 'E::A { x: 3 }': E | 3 | [82; 95) 'E::A { x: 3 }': E |
4 | [92; 93) '3': usize | 4 | [92; 93) '3': usize |
@@ -9,3 +9,10 @@ | |||
9 | [129; 148) 'E::A {..._var }': E | 9 | [129; 148) 'E::A {..._var }': E |
10 | [139; 146) 'new_var': usize | 10 | [139; 146) 'new_var': usize |
11 | [151; 152) 'e': E | 11 | [151; 152) 'e': E |
12 | [159; 218) 'match ... }': usize | ||
13 | [165; 166) 'e': E | ||
14 | [177; 187) 'E::A { x }': E | ||
15 | [184; 185) 'x': usize | ||
16 | [191; 192) 'x': usize | ||
17 | [202; 206) 'E::B': E | ||
18 | [210; 211) '1': usize | ||