aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
diff options
context:
space:
mode:
authorMarcus Klaas de Vries <[email protected]>2019-01-16 23:29:26 +0000
committerAleksey Kladov <[email protected]>2019-01-19 12:37:25 +0000
commit06d16a18f632711de588ccd12a6a1ed6f2b9ad69 (patch)
tree88059c2a9b05147e5a393183883f78087a37047c /crates/ra_hir/src/ty
parentac216880f5d1a3e5727b96d7b22433beec10382b (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.txt9
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