From 2a3262c75792d90341e21c241b2f95ef8cdccb23 Mon Sep 17 00:00:00 2001 From: Hirokazu Hata Date: Sun, 13 Jan 2019 22:46:52 +0900 Subject: Add infer array test --- crates/ra_hir/src/ty/tests/data/array.txt | 38 +++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 crates/ra_hir/src/ty/tests/data/array.txt (limited to 'crates/ra_hir/src/ty/tests/data/array.txt') diff --git a/crates/ra_hir/src/ty/tests/data/array.txt b/crates/ra_hir/src/ty/tests/data/array.txt new file mode 100644 index 000000000..7711e378b --- /dev/null +++ b/crates/ra_hir/src/ty/tests/data/array.txt @@ -0,0 +1,38 @@ +[9; 10) 'x': &str +[18; 19) 'y': isize +[28; 258) '{ ..."]]; }': () +[38; 39) 'a': [&str,] +[42; 45) '[x]': [&str,] +[43; 44) 'x': &str +[55; 56) 'b': [[&str,], [&str,]] +[59; 65) '[a, a]': [[&str,], [&str,]] +[60; 61) 'a': [&str,] +[63; 64) 'a': [&str,] +[75; 76) 'c': [[[&str,], [&str,]], [[&str,], [&str,]]] +[79; 85) '[b, b]': [[[&str,], [&str,]], [[&str,], [&str,]]] +[80; 81) 'b': [[&str,], [&str,]] +[83; 84) 'b': [[&str,], [&str,]] +[96; 97) 'd': [isize,] +[100; 103) '[y]': [isize,] +[101; 102) 'y': isize +[113; 114) 'e': [[isize,], [isize,]] +[117; 123) '[d, d]': [[isize,], [isize,]] +[118; 119) 'd': [isize,] +[121; 122) 'd': [isize,] +[133; 134) 'f': [[[isize,], [isize,]], [[isize,], [isize,]]] +[137; 143) '[e, e]': [[[isize,], [isize,]], [[isize,], [isize,]]] +[138; 139) 'e': [[isize,], [isize,]] +[141; 142) 'e': [[isize,], [isize,]] +[197; 198) 'g': [_, _] +[201; 207) '[1, 2]': [_, _] +[202; 203) '1': [unknown] +[205; 206) '2': [unknown] +[217; 218) 'h': [_, _] +[221; 231) '["a", "b"]': [_, _] +[222; 225) '"a"': [unknown] +[227; 230) '"b"': [unknown] +[241; 242) 'b': [[&str,], [_,]] +[245; 255) '[a, ["b"]]': [[&str,], [_,]] +[246; 247) 'a': [&str,] +[249; 254) '["b"]': [_,] +[250; 253) '"b"': [unknown] -- cgit v1.2.3 From 478ce1c8b5288432509f39aeb5b611e7614d0e03 Mon Sep 17 00:00:00 2001 From: Hirokazu Hata Date: Mon, 14 Jan 2019 22:52:05 +0900 Subject: Fix infer array test --- crates/ra_hir/src/ty/tests/data/array.txt | 82 ++++++++++++++++++------------- 1 file changed, 48 insertions(+), 34 deletions(-) (limited to 'crates/ra_hir/src/ty/tests/data/array.txt') diff --git a/crates/ra_hir/src/ty/tests/data/array.txt b/crates/ra_hir/src/ty/tests/data/array.txt index 7711e378b..66f09485d 100644 --- a/crates/ra_hir/src/ty/tests/data/array.txt +++ b/crates/ra_hir/src/ty/tests/data/array.txt @@ -1,38 +1,52 @@ [9; 10) 'x': &str [18; 19) 'y': isize -[28; 258) '{ ..."]]; }': () -[38; 39) 'a': [&str,] -[42; 45) '[x]': [&str,] +[28; 291) '{ ... []; }': () +[38; 39) 'a': [&str] +[42; 45) '[x]': [&str] [43; 44) 'x': &str -[55; 56) 'b': [[&str,], [&str,]] -[59; 65) '[a, a]': [[&str,], [&str,]] -[60; 61) 'a': [&str,] -[63; 64) 'a': [&str,] -[75; 76) 'c': [[[&str,], [&str,]], [[&str,], [&str,]]] -[79; 85) '[b, b]': [[[&str,], [&str,]], [[&str,], [&str,]]] -[80; 81) 'b': [[&str,], [&str,]] -[83; 84) 'b': [[&str,], [&str,]] -[96; 97) 'd': [isize,] -[100; 103) '[y]': [isize,] +[55; 56) 'b': [[&str]] +[59; 65) '[a, a]': [[&str]] +[60; 61) 'a': [&str] +[63; 64) 'a': [&str] +[75; 76) 'c': [[[&str]]] +[79; 85) '[b, b]': [[[&str]]] +[80; 81) 'b': [[&str]] +[83; 84) 'b': [[&str]] +[96; 97) 'd': [isize] +[100; 112) '[y, 1, 2, 3]': [isize] [101; 102) 'y': isize -[113; 114) 'e': [[isize,], [isize,]] -[117; 123) '[d, d]': [[isize,], [isize,]] -[118; 119) 'd': [isize,] -[121; 122) 'd': [isize,] -[133; 134) 'f': [[[isize,], [isize,]], [[isize,], [isize,]]] -[137; 143) '[e, e]': [[[isize,], [isize,]], [[isize,], [isize,]]] -[138; 139) 'e': [[isize,], [isize,]] -[141; 142) 'e': [[isize,], [isize,]] -[197; 198) 'g': [_, _] -[201; 207) '[1, 2]': [_, _] -[202; 203) '1': [unknown] -[205; 206) '2': [unknown] -[217; 218) 'h': [_, _] -[221; 231) '["a", "b"]': [_, _] -[222; 225) '"a"': [unknown] -[227; 230) '"b"': [unknown] -[241; 242) 'b': [[&str,], [_,]] -[245; 255) '[a, ["b"]]': [[&str,], [_,]] -[246; 247) 'a': [&str,] -[249; 254) '["b"]': [_,] -[250; 253) '"b"': [unknown] +[104; 105) '1': isize +[107; 108) '2': isize +[110; 111) '3': isize +[121; 122) 'd': [isize] +[125; 137) '[1, y, 2, 3]': [isize] +[126; 127) '1': isize +[129; 130) 'y': isize +[132; 133) '2': isize +[135; 136) '3': isize +[146; 147) 'e': [isize] +[150; 153) '[y]': [isize] +[151; 152) 'y': isize +[163; 164) 'f': [[isize]] +[167; 173) '[d, d]': [[isize]] +[168; 169) 'd': [isize] +[171; 172) 'd': [isize] +[183; 184) 'g': [[isize]] +[187; 193) '[e, e]': [[isize]] +[188; 189) 'e': [isize] +[191; 192) 'e': [isize] +[204; 205) 'h': [_] +[208; 214) '[1, 2]': [_] +[209; 210) '1': [unknown] +[212; 213) '2': [unknown] +[224; 225) 'i': [_] +[228; 238) '["a", "b"]': [_] +[229; 232) '"a"': [unknown] +[234; 237) '"b"': [unknown] +[249; 250) 'b': [[&str]] +[253; 263) '[a, ["b"]]': [[&str]] +[254; 255) 'a': [&str] +[257; 262) '["b"]': [&str] +[258; 261) '"b"': &str +[273; 274) 'x': [u8] +[286; 288) '[]': [u8] -- cgit v1.2.3 From f66ca1bd2e0e5e198f60d0b0b6e2d953c81b0645 Mon Sep 17 00:00:00 2001 From: Hirokazu Hata Date: Tue, 15 Jan 2019 09:30:18 +0900 Subject: Fix test case invalid syntax --- crates/ra_hir/src/ty/tests/data/array.txt | 90 +++++++++++++++---------------- 1 file changed, 45 insertions(+), 45 deletions(-) (limited to 'crates/ra_hir/src/ty/tests/data/array.txt') diff --git a/crates/ra_hir/src/ty/tests/data/array.txt b/crates/ra_hir/src/ty/tests/data/array.txt index 66f09485d..5fdbc67b6 100644 --- a/crates/ra_hir/src/ty/tests/data/array.txt +++ b/crates/ra_hir/src/ty/tests/data/array.txt @@ -1,52 +1,52 @@ [9; 10) 'x': &str [18; 19) 'y': isize -[28; 291) '{ ... []; }': () -[38; 39) 'a': [&str] -[42; 45) '[x]': [&str] +[28; 293) '{ ... []; }': () +[38; 39) 'a': [_] +[42; 45) '[x]': [_] [43; 44) 'x': &str -[55; 56) 'b': [[&str]] -[59; 65) '[a, a]': [[&str]] -[60; 61) 'a': [&str] -[63; 64) 'a': [&str] -[75; 76) 'c': [[[&str]]] -[79; 85) '[b, b]': [[[&str]]] -[80; 81) 'b': [[&str]] -[83; 84) 'b': [[&str]] -[96; 97) 'd': [isize] -[100; 112) '[y, 1, 2, 3]': [isize] +[55; 56) 'b': [_] +[59; 65) '[a, a]': [_] +[60; 61) 'a': [_] +[63; 64) 'a': [_] +[75; 76) 'c': [_] +[79; 85) '[b, b]': [_] +[80; 81) 'b': [_] +[83; 84) 'b': [_] +[96; 97) 'd': [_] +[100; 112) '[y, 1, 2, 3]': [_] [101; 102) 'y': isize [104; 105) '1': isize [107; 108) '2': isize [110; 111) '3': isize -[121; 122) 'd': [isize] -[125; 137) '[1, y, 2, 3]': [isize] -[126; 127) '1': isize -[129; 130) 'y': isize -[132; 133) '2': isize -[135; 136) '3': isize -[146; 147) 'e': [isize] -[150; 153) '[y]': [isize] -[151; 152) 'y': isize -[163; 164) 'f': [[isize]] -[167; 173) '[d, d]': [[isize]] -[168; 169) 'd': [isize] -[171; 172) 'd': [isize] -[183; 184) 'g': [[isize]] -[187; 193) '[e, e]': [[isize]] -[188; 189) 'e': [isize] -[191; 192) 'e': [isize] -[204; 205) 'h': [_] -[208; 214) '[1, 2]': [_] -[209; 210) '1': [unknown] -[212; 213) '2': [unknown] -[224; 225) 'i': [_] -[228; 238) '["a", "b"]': [_] -[229; 232) '"a"': [unknown] -[234; 237) '"b"': [unknown] -[249; 250) 'b': [[&str]] -[253; 263) '[a, ["b"]]': [[&str]] -[254; 255) 'a': [&str] -[257; 262) '["b"]': [&str] -[258; 261) '"b"': &str -[273; 274) 'x': [u8] -[286; 288) '[]': [u8] +[122; 123) 'd': [_] +[126; 138) '[1, y, 2, 3]': [_] +[127; 128) '1': isize +[130; 131) 'y': isize +[133; 134) '2': isize +[136; 137) '3': isize +[148; 149) 'e': [_] +[152; 155) '[y]': [_] +[153; 154) 'y': isize +[165; 166) 'f': [_] +[169; 175) '[d, d]': [_] +[170; 171) 'd': [_] +[173; 174) 'd': [_] +[185; 186) 'g': [_] +[189; 195) '[e, e]': [_] +[190; 191) 'e': [_] +[193; 194) 'e': [_] +[206; 207) 'h': [_] +[210; 216) '[1, 2]': [_] +[211; 212) '1': i32 +[214; 215) '2': i32 +[226; 227) 'i': [_] +[230; 240) '["a", "b"]': [_] +[231; 234) '"a"': &str +[236; 239) '"b"': &str +[251; 252) 'b': [_] +[255; 265) '[a, ["b"]]': [_] +[256; 257) 'a': [_] +[259; 264) '["b"]': [_] +[260; 263) '"b"': &str +[275; 276) 'x': [u8] +[288; 290) '[]': [u8] -- cgit v1.2.3 From 0aedd4fb2f28ec24902d26c7d8a24d6146263d2f Mon Sep 17 00:00:00 2001 From: Hirokazu Hata Date: Thu, 17 Jan 2019 00:08:53 +0900 Subject: Add Ty::Array to walk_mut --- crates/ra_hir/src/ty/tests/data/array.txt | 64 +++++++++++++++---------------- 1 file changed, 32 insertions(+), 32 deletions(-) (limited to 'crates/ra_hir/src/ty/tests/data/array.txt') diff --git a/crates/ra_hir/src/ty/tests/data/array.txt b/crates/ra_hir/src/ty/tests/data/array.txt index 5fdbc67b6..acdf74ba4 100644 --- a/crates/ra_hir/src/ty/tests/data/array.txt +++ b/crates/ra_hir/src/ty/tests/data/array.txt @@ -1,52 +1,52 @@ [9; 10) 'x': &str [18; 19) 'y': isize [28; 293) '{ ... []; }': () -[38; 39) 'a': [_] -[42; 45) '[x]': [_] +[38; 39) 'a': [&str] +[42; 45) '[x]': [&str] [43; 44) 'x': &str -[55; 56) 'b': [_] -[59; 65) '[a, a]': [_] -[60; 61) 'a': [_] -[63; 64) 'a': [_] -[75; 76) 'c': [_] -[79; 85) '[b, b]': [_] -[80; 81) 'b': [_] -[83; 84) 'b': [_] -[96; 97) 'd': [_] -[100; 112) '[y, 1, 2, 3]': [_] +[55; 56) 'b': [[&str]] +[59; 65) '[a, a]': [[&str]] +[60; 61) 'a': [&str] +[63; 64) 'a': [&str] +[75; 76) 'c': [[[&str]]] +[79; 85) '[b, b]': [[[&str]]] +[80; 81) 'b': [[&str]] +[83; 84) 'b': [[&str]] +[96; 97) 'd': [isize] +[100; 112) '[y, 1, 2, 3]': [isize] [101; 102) 'y': isize [104; 105) '1': isize [107; 108) '2': isize [110; 111) '3': isize -[122; 123) 'd': [_] -[126; 138) '[1, y, 2, 3]': [_] +[122; 123) 'd': [isize] +[126; 138) '[1, y, 2, 3]': [isize] [127; 128) '1': isize [130; 131) 'y': isize [133; 134) '2': isize [136; 137) '3': isize -[148; 149) 'e': [_] -[152; 155) '[y]': [_] +[148; 149) 'e': [isize] +[152; 155) '[y]': [isize] [153; 154) 'y': isize -[165; 166) 'f': [_] -[169; 175) '[d, d]': [_] -[170; 171) 'd': [_] -[173; 174) 'd': [_] -[185; 186) 'g': [_] -[189; 195) '[e, e]': [_] -[190; 191) 'e': [_] -[193; 194) 'e': [_] -[206; 207) 'h': [_] -[210; 216) '[1, 2]': [_] +[165; 166) 'f': [[isize]] +[169; 175) '[d, d]': [[isize]] +[170; 171) 'd': [isize] +[173; 174) 'd': [isize] +[185; 186) 'g': [[isize]] +[189; 195) '[e, e]': [[isize]] +[190; 191) 'e': [isize] +[193; 194) 'e': [isize] +[206; 207) 'h': [i32] +[210; 216) '[1, 2]': [i32] [211; 212) '1': i32 [214; 215) '2': i32 -[226; 227) 'i': [_] -[230; 240) '["a", "b"]': [_] +[226; 227) 'i': [&str] +[230; 240) '["a", "b"]': [&str] [231; 234) '"a"': &str [236; 239) '"b"': &str -[251; 252) 'b': [_] -[255; 265) '[a, ["b"]]': [_] -[256; 257) 'a': [_] -[259; 264) '["b"]': [_] +[251; 252) 'b': [[&str]] +[255; 265) '[a, ["b"]]': [[&str]] +[256; 257) 'a': [&str] +[259; 264) '["b"]': [&str] [260; 263) '"b"': &str [275; 276) 'x': [u8] [288; 290) '[]': [u8] -- cgit v1.2.3