aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
Diffstat (limited to 'crates')
-rw-r--r--crates/ra_hir/src/ty/tests.rs68
1 files changed, 5 insertions, 63 deletions
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
@@ -3601,46 +3601,6 @@ mod branching_with_never_tests {
3601 use super::type_at; 3601 use super::type_at;
3602 3602
3603 #[test] 3603 #[test]
3604 fn match_first_arm_never() {
3605 let t = type_at(
3606 r#"
3607//- /main.rs
3608fn test(a: i32) {
3609 let i = match a {
3610 1 => return,
3611 2 => 2.0,
3612 3 => loop {},
3613 _ => 3.0,
3614 };
3615 i<|>
3616 ()
3617}
3618"#,
3619 );
3620 assert_eq!(t, "f64");
3621 }
3622
3623 #[test]
3624 fn match_second_block_arm_never() {
3625 let t = type_at(
3626 r#"
3627//- /main.rs
3628fn test(a: i32) {
3629 let i = match a {
3630 1 => { 3.0 },
3631 2 => { loop {} },
3632 3 => { 3.0 },
3633 _ => { return },
3634 };
3635 i<|>
3636 ()
3637}
3638"#,
3639 );
3640 assert_eq!(t, "f64");
3641 }
3642
3643 #[test]
3644 fn if_never() { 3604 fn if_never() {
3645 let t = type_at( 3605 let t = type_at(
3646 r#" 3606 r#"
@@ -3679,16 +3639,16 @@ fn test(input: bool) {
3679 } 3639 }
3680 3640
3681 #[test] 3641 #[test]
3682 fn match_first_block_arm_never() { 3642 fn match_first_arm_never() {
3683 let t = type_at( 3643 let t = type_at(
3684 r#" 3644 r#"
3685//- /main.rs 3645//- /main.rs
3686fn test(a: i32) { 3646fn test(a: i32) {
3687 let i = match a { 3647 let i = match a {
3688 1 => { return }, 3648 1 => return,
3689 2 => { 2.0 }, 3649 2 => 2.0,
3690 3 => { loop {} }, 3650 3 => loop {},
3691 _ => { 3.0 }, 3651 _ => 3.0,
3692 }; 3652 };
3693 i<|> 3653 i<|>
3694 () 3654 ()
@@ -3737,24 +3697,6 @@ fn test(a: i32) {
3737 } 3697 }
3738 3698
3739 #[test] 3699 #[test]
3740 fn match_all_block_arms_never() {
3741 let t = type_at(
3742 r#"
3743//- /main.rs
3744fn test(a: i32) {
3745 let i = match a {
3746 2 => { return },
3747 _ => { loop {} },
3748 };
3749 i<|>
3750 ()
3751}
3752"#,
3753 );
3754 assert_eq!(t, "!");
3755 }
3756
3757 #[test]
3758 fn match_no_never_arms() { 3700 fn match_no_never_arms() {
3759 let t = type_at( 3701 let t = type_at(
3760 r#" 3702 r#"