diff options
author | Kirill Bulatov <[email protected]> | 2019-08-14 20:58:17 +0100 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2019-08-26 20:44:50 +0100 |
commit | 8b612251fd8c741416d2fb320bd908b76134fde5 (patch) | |
tree | 2577629235b23c2ec51d412abf04059ba836f51b /crates/ra_hir/src/ty | |
parent | 44cf7b34fe1a486168590f7fead442f12602c419 (diff) |
Remove extra inference test
Diffstat (limited to 'crates/ra_hir/src/ty')
-rw-r--r-- | crates/ra_hir/src/ty/infer.rs | 1 | ||||
-rw-r--r-- | crates/ra_hir/src/ty/tests.rs | 24 |
2 files changed, 0 insertions, 25 deletions
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> { | |||
1121 | match_ty.clone() | 1121 | match_ty.clone() |
1122 | } else { | 1122 | } else { |
1123 | tested_by!(match_no_never_arms); | 1123 | tested_by!(match_no_never_arms); |
1124 | tested_by!(match_complex_arm_ty); | ||
1125 | expected.ty | 1124 | expected.ty |
1126 | } | 1125 | } |
1127 | } | 1126 | } |
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 | |||
@@ -3600,30 +3600,6 @@ mod branching_with_never_tests { | |||
3600 | use test_utils::covers; | 3600 | use test_utils::covers; |
3601 | 3601 | ||
3602 | #[test] | 3602 | #[test] |
3603 | fn match_complex_arm_ty() { | ||
3604 | covers!(match_complex_arm_ty); | ||
3605 | let t = type_at( | ||
3606 | r#" | ||
3607 | //- /main.rs | ||
3608 | enum Option<T> { | ||
3609 | Some(T), | ||
3610 | None | ||
3611 | } | ||
3612 | |||
3613 | fn test(a: i32) { | ||
3614 | let i = match a { | ||
3615 | 2 => Option::Some(2.0), | ||
3616 | _ => loop {}, | ||
3617 | }; | ||
3618 | i<|> | ||
3619 | () | ||
3620 | } | ||
3621 | "#, | ||
3622 | ); | ||
3623 | assert_eq!(t, "Option<f64>"); | ||
3624 | } | ||
3625 | |||
3626 | #[test] | ||
3627 | fn match_first_arm_never() { | 3603 | fn match_first_arm_never() { |
3628 | covers!(match_first_arm_never); | 3604 | covers!(match_first_arm_never); |
3629 | let t = type_at( | 3605 | let t = type_at( |