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/tests | |
| parent | ac216880f5d1a3e5727b96d7b22433beec10382b (diff) | |
Implement match binding type inference and arm unification
Diffstat (limited to 'crates/ra_hir/src/ty/tests')
| -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 | ||