From 590aed2eec869a1b64c5d3c07a26dd59c669004b Mon Sep 17 00:00:00 2001 From: Kirill Bulatov Date: Mon, 26 Aug 2019 23:00:27 +0300 Subject: Remove redundant tests --- crates/ra_hir/src/ty/tests.rs | 68 ++++--------------------------------------- 1 file changed, 5 insertions(+), 63 deletions(-) (limited to 'crates/ra_hir/src') diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 7fc9fbb63..e3eb0c3fa 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -3600,46 +3600,6 @@ fn no_such_field_diagnostics() { mod branching_with_never_tests { use super::type_at; - #[test] - fn match_first_arm_never() { - let t = type_at( - r#" -//- /main.rs -fn test(a: i32) { - let i = match a { - 1 => return, - 2 => 2.0, - 3 => loop {}, - _ => 3.0, - }; - i<|> - () -} -"#, - ); - assert_eq!(t, "f64"); - } - - #[test] - fn match_second_block_arm_never() { - let t = type_at( - r#" -//- /main.rs -fn test(a: i32) { - let i = match a { - 1 => { 3.0 }, - 2 => { loop {} }, - 3 => { 3.0 }, - _ => { return }, - }; - i<|> - () -} -"#, - ); - assert_eq!(t, "f64"); - } - #[test] fn if_never() { let t = type_at( @@ -3679,16 +3639,16 @@ fn test(input: bool) { } #[test] - fn match_first_block_arm_never() { + fn match_first_arm_never() { let t = type_at( r#" //- /main.rs fn test(a: i32) { let i = match a { - 1 => { return }, - 2 => { 2.0 }, - 3 => { loop {} }, - _ => { 3.0 }, + 1 => return, + 2 => 2.0, + 3 => loop {}, + _ => 3.0, }; i<|> () @@ -3736,24 +3696,6 @@ fn test(a: i32) { assert_eq!(t, "!"); } - #[test] - fn match_all_block_arms_never() { - let t = type_at( - r#" -//- /main.rs -fn test(a: i32) { - let i = match a { - 2 => { return }, - _ => { loop {} }, - }; - i<|> - () -} -"#, - ); - assert_eq!(t, "!"); - } - #[test] fn match_no_never_arms() { let t = type_at( -- cgit v1.2.3