From 9433a108cfcf3a9c7de9299d6641a5abf9031a17 Mon Sep 17 00:00:00 2001 From: Marcus Klaas de Vries Date: Thu, 17 Jan 2019 10:54:47 +0100 Subject: Make pattern inference work w/o proper expecations --- crates/ra_hir/src/ty/tests/data/pattern.txt | 26 +++++++++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) (limited to 'crates/ra_hir/src/ty') 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 @@ [9; 10) 'x': &i32 -[18; 98) '{ ...o"); }': () +[18; 259) '{ ...c }; }': () [28; 29) 'y': &i32 [32; 33) 'x': &i32 [43; 45) '&z': &i32 @@ -13,3 +13,27 @@ [83; 95) '(1, "hello")': (i32, &str) [84; 85) '1': i32 [87; 94) '"hello"': &str +[102; 152) 'for (e... }': () +[106; 112) '(e, f)': ([unknown], [unknown]) +[107; 108) 'e': [unknown] +[110; 111) 'f': [unknown] +[116; 125) 'some_iter': [unknown] +[126; 152) '{ ... }': () +[140; 141) 'g': [unknown] +[144; 145) 'e': [unknown] +[158; 205) 'if let... }': () +[165; 170) '[val]': [unknown] +[173; 176) 'opt': [unknown] +[177; 205) '{ ... }': () +[191; 192) 'h': [unknown] +[195; 198) 'val': [unknown] +[215; 221) 'lambda': [unknown] +[224; 256) '|a: u6...b; c }': [unknown] +[225; 226) 'a': u64 +[233; 234) 'b': u64 +[236; 237) 'c': i32 +[244; 256) '{ a + b; c }': i32 +[246; 247) 'a': u64 +[246; 251) 'a + b': u64 +[250; 251) 'b': u64 +[253; 254) 'c': i32 -- cgit v1.2.3