From 3340807bd24f398dca158e85eebae74012d8ef4b Mon Sep 17 00:00:00 2001 From: Marcus Klaas de Vries Date: Wed, 16 Jan 2019 20:26:58 +0100 Subject: Get basic struct pattern type inference working! --- crates/ra_hir/src/ty/tests/data/adt_pattern.txt | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) (limited to 'crates/ra_hir/src/ty') 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 d23b865a0..41e9c9d34 100644 --- a/crates/ra_hir/src/ty/tests/data/adt_pattern.txt +++ b/crates/ra_hir/src/ty/tests/data/adt_pattern.txt @@ -1,12 +1,11 @@ -[49; 192) '{ ... }; }': () -[59; 60) 'e': E -[63; 76) 'E::A { x: 3 }': E -[73; 74) '3': usize -[82; 124) 'if let... }': [unknown] -[105; 106) 'e': E -[107; 124) '{ ... }': [unknown] -[117; 118) 'x': [unknown] -[130; 189) 'match ... }': [unknown] -[136; 137) 'e': E -[162; 163) 'x': [unknown] -[181; 182) '1': i32 +[68; 155) '{ ...= e; }': () +[78; 79) 'e': E +[82; 95) 'E::A { x: 3 }': E +[92; 93) '3': usize +[106; 113) 'S(y, z)': S +[108; 109) 'y': u32 +[111; 112) 'z': E +[116; 119) 'foo': S +[129; 148) 'E::A {..._var }': E +[139; 146) 'new_var': usize +[151; 152) 'e': E -- cgit v1.2.3