diff options
author | Kirill Bulatov <[email protected]> | 2019-08-15 21:53:42 +0100 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2019-08-26 20:44:50 +0100 |
commit | 89f3cc587d07a3cdcebf84cc4b99fe42636e66f0 (patch) | |
tree | 7cb5af59ad096a42bcdf85aea0662fb7bebd1965 /crates/ra_hir/src/ty/tests.rs | |
parent | 8b612251fd8c741416d2fb320bd908b76134fde5 (diff) |
Properly coerce never types
Diffstat (limited to 'crates/ra_hir/src/ty/tests.rs')
-rw-r--r-- | crates/ra_hir/src/ty/tests.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs index 195514f10..a30a645eb 100644 --- a/crates/ra_hir/src/ty/tests.rs +++ b/crates/ra_hir/src/ty/tests.rs | |||
@@ -3597,11 +3597,9 @@ fn no_such_field_diagnostics() { | |||
3597 | 3597 | ||
3598 | mod branching_with_never_tests { | 3598 | mod branching_with_never_tests { |
3599 | use super::type_at; | 3599 | use super::type_at; |
3600 | use test_utils::covers; | ||
3601 | 3600 | ||
3602 | #[test] | 3601 | #[test] |
3603 | fn match_first_arm_never() { | 3602 | fn match_first_arm_never() { |
3604 | covers!(match_first_arm_never); | ||
3605 | let t = type_at( | 3603 | let t = type_at( |
3606 | r#" | 3604 | r#" |
3607 | //- /main.rs | 3605 | //- /main.rs |
@@ -3622,7 +3620,6 @@ fn test(a: i32) { | |||
3622 | 3620 | ||
3623 | #[test] | 3621 | #[test] |
3624 | fn if_never() { | 3622 | fn if_never() { |
3625 | covers!(if_never); | ||
3626 | let t = type_at( | 3623 | let t = type_at( |
3627 | r#" | 3624 | r#" |
3628 | //- /main.rs | 3625 | //- /main.rs |
@@ -3642,7 +3639,6 @@ fn test() { | |||
3642 | 3639 | ||
3643 | #[test] | 3640 | #[test] |
3644 | fn if_else_never() { | 3641 | fn if_else_never() { |
3645 | covers!(if_else_never); | ||
3646 | let t = type_at( | 3642 | let t = type_at( |
3647 | r#" | 3643 | r#" |
3648 | //- /main.rs | 3644 | //- /main.rs |
@@ -3662,7 +3658,6 @@ fn test(input: bool) { | |||
3662 | 3658 | ||
3663 | #[test] | 3659 | #[test] |
3664 | fn match_second_arm_never() { | 3660 | fn match_second_arm_never() { |
3665 | covers!(match_second_arm_never); | ||
3666 | let t = type_at( | 3661 | let t = type_at( |
3667 | r#" | 3662 | r#" |
3668 | //- /main.rs | 3663 | //- /main.rs |
@@ -3683,7 +3678,6 @@ fn test(a: i32) { | |||
3683 | 3678 | ||
3684 | #[test] | 3679 | #[test] |
3685 | fn match_all_arms_never() { | 3680 | fn match_all_arms_never() { |
3686 | covers!(match_all_arms_never); | ||
3687 | let t = type_at( | 3681 | let t = type_at( |
3688 | r#" | 3682 | r#" |
3689 | //- /main.rs | 3683 | //- /main.rs |
@@ -3702,7 +3696,6 @@ fn test(a: i32) { | |||
3702 | 3696 | ||
3703 | #[test] | 3697 | #[test] |
3704 | fn match_no_never_arms() { | 3698 | fn match_no_never_arms() { |
3705 | covers!(match_no_never_arms); | ||
3706 | let t = type_at( | 3699 | let t = type_at( |
3707 | r#" | 3700 | r#" |
3708 | //- /main.rs | 3701 | //- /main.rs |