From 8b612251fd8c741416d2fb320bd908b76134fde5 Mon Sep 17 00:00:00 2001 From: Kirill Bulatov Date: Wed, 14 Aug 2019 22:58:17 +0300 Subject: Remove extra inference test --- crates/ra_hir/src/marks.rs | 1 - crates/ra_hir/src/ty/infer.rs | 1 - crates/ra_hir/src/ty/tests.rs | 24 ------------------------ 3 files changed, 26 deletions(-) (limited to 'crates') diff --git a/crates/ra_hir/src/marks.rs b/crates/ra_hir/src/marks.rs index 1adf5cd53..f450aef9f 100644 --- a/crates/ra_hir/src/marks.rs +++ b/crates/ra_hir/src/marks.rs @@ -11,7 +11,6 @@ test_utils::marks!( match_ergonomics_ref trait_resolution_on_fn_type infer_while_let - match_complex_arm_ty match_first_arm_never match_second_arm_never match_all_arms_never diff --git a/crates/ra_hir/src/ty/infer.rs b/crates/ra_hir/src/ty/infer.rs index d01063766..7b59ebfe7 100644 --- a/crates/ra_hir/src/ty/infer.rs +++ b/crates/ra_hir/src/ty/infer.rs @@ -1121,7 +1121,6 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { match_ty.clone() } else { tested_by!(match_no_never_arms); - tested_by!(match_complex_arm_ty); expected.ty } } diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 94b0fe3b3..195514f10 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs @@ -3599,30 +3599,6 @@ mod branching_with_never_tests { use super::type_at; use test_utils::covers; - #[test] - fn match_complex_arm_ty() { - covers!(match_complex_arm_ty); - let t = type_at( - r#" -//- /main.rs -enum Option { - Some(T), - None -} - -fn test(a: i32) { - let i = match a { - 2 => Option::Some(2.0), - _ => loop {}, - }; - i<|> - () -} -"#, - ); - assert_eq!(t, "Option"); - } - #[test] fn match_first_arm_never() { covers!(match_first_arm_never); -- cgit v1.2.3