aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir/src/ty/tests.rs')
-rw-r--r--crates/ra_hir/src/ty/tests.rs27
1 files changed, 27 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs
index e1165f682..e34daa0f7 100644
--- a/crates/ra_hir/src/ty/tests.rs
+++ b/crates/ra_hir/src/ty/tests.rs
@@ -562,6 +562,33 @@ fn quux() {
562 ); 562 );
563} 563}
564 564
565#[test]
566fn recursive_vars() {
567 check_inference(
568 "recursive_vars",
569 r#"
570fn test() {
571 let y = unknown;
572 [y, &y];
573}
574"#,
575 );
576}
577
578#[test]
579fn recursive_vars_2() {
580 check_inference(
581 "recursive_vars_2",
582 r#"
583fn test() {
584 let x = unknown;
585 let y = unknown;
586 [(x, y), (&y, &x)];
587}
588"#,
589 );
590}
591
565fn infer(content: &str) -> String { 592fn infer(content: &str) -> String {
566 let (db, _, file_id) = MockDatabase::with_single_file(content); 593 let (db, _, file_id) = MockDatabase::with_single_file(content);
567 let source_file = db.parse(file_id); 594 let source_file = db.parse(file_id);