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.rs | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'crates/ra_hir/src/ty/tests.rs') diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 5d7bc25cc..09c8644f7 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -334,6 +334,29 @@ fn test(x: &str, y: isize) { ); } +#[test] +fn infer_array() { + check_inference( + r#" +fn test(x: &str, y: isize) { + let a = [x]; + let b = [a, a]; + let c = [b, b]; + + let d = [y]; + let e = [d, d]; + let f = [e, e]; + + // we have not infered these case yet. + let g = [1, 2]; + let h = ["a", "b"]; + let b = [a, ["b"]]; +} +"#, + "array.txt", + ); +} + fn infer(content: &str) -> String { let (db, _, file_id) = MockDatabase::with_single_file(content); let source_file = db.source_file(file_id); -- 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.rs | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'crates/ra_hir/src/ty/tests.rs') diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 09c8644f7..dd574162a 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -343,14 +343,17 @@ fn test(x: &str, y: isize) { let b = [a, a]; let c = [b, b]; - let d = [y]; - let e = [d, d]; - let f = [e, e]; + let d = [y, 1, 2, 3] + let d = [1, y, 2, 3] + let e = [y]; + let f = [d, d]; + let g = [e, e]; + + let h = [1, 2]; + let i = ["a", "b"]; - // we have not infered these case yet. - let g = [1, 2]; - let h = ["a", "b"]; let b = [a, ["b"]]; + let x: [u8; 0] = []; } "#, "array.txt", -- 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.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'crates/ra_hir/src/ty/tests.rs') diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index dd574162a..affd63a85 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -343,8 +343,8 @@ fn test(x: &str, y: isize) { let b = [a, a]; let c = [b, b]; - let d = [y, 1, 2, 3] - let d = [1, y, 2, 3] + let d = [y, 1, 2, 3]; + let d = [1, y, 2, 3]; let e = [y]; let f = [d, d]; let g = [e, e]; -- cgit v1.2.3