tidy never type issue-* tests

WaffleLapkin · WaffleLapkin · commit 05174fbcc556 · 2026-03-06T17:44:18.000+01:00
diff --git a/src/tools/tidy/src/issues.txt b/src/tools/tidy/src/issues.txt
@@ -1726,14 +1726,6 @@ ui/moves/issue-46099-move-in-macro.rs
 ui/moves/issue-72649-uninit-in-loop.rs
 ui/moves/issue-75904-move-closure-loop.rs
 ui/moves/issue-99470-move-out-of-some.rs
-ui/never_type/issue-10176.rs
-ui/never_type/issue-13352.rs
-ui/never_type/issue-2149.rs
-ui/never_type/issue-44402.rs
-ui/never_type/issue-51506.rs
-ui/never_type/issue-52443.rs
-ui/never_type/issue-5500-1.rs
-ui/never_type/issue-96335.rs
 ui/nll/closure-requirements/issue-58127-mutliple-requirements.rs
 ui/nll/issue-112604-closure-output-normalize.rs
 ui/nll/issue-16223.rs
diff --git a/tests/ui/never_type/regress/address-of-never.rs b/tests/ui/never_type/regress/address-of-never.rs
@@ -1,8 +1,7 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/5500>,
+// check that you can take a reference to the never type.
+//
 //@ edition:2015..2021
-// MIR doesn't generate an error because the assignment isn't reachable. This
-// is OK because the test is here to check that the compiler doesn't ICE (cf.
-// #5500).
-
 //@ check-pass
 
 struct TrieMapIterator<'a> {
diff --git a/tests/ui/never_type/regress/divergent-block-with-tail.stderr b/tests/ui/never_type/regress/divergent-block-with-tail.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/diverging-tuple-parts-39485.rs:9:5
+  --> $DIR/divergent-block-with-tail.rs:12:5
    |
 LL |     &panic!()
    |     ^^^^^^^^^ expected `()`, found `&_`
@@ -17,7 +17,7 @@ LL +     panic!()
    |
 
 error[E0308]: mismatched types
-  --> $DIR/diverging-tuple-parts-39485.rs:13:5
+  --> $DIR/divergent-block-with-tail.rs:17:5
    |
 LL | fn f() -> isize {
    |           ----- expected `isize` because of return type
diff --git a/tests/ui/never_type/regress/issue-13352.rs b/tests/ui/never_type/regress/issue-13352.rs
diff --git a/tests/ui/never_type/regress/issue-13352.stderr b/tests/ui/never_type/regress/issue-13352.stderr
diff --git a/tests/ui/never_type/regress/issue-44402.rs b/tests/ui/never_type/regress/issue-44402.rs
diff --git a/tests/ui/never_type/regress/loop-in-array-length.rs b/tests/ui/never_type/regress/loop-in-array-length.rs
@@ -1,3 +1,5 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/52443>
+
 fn main() {
     [(); & { loop { continue } } ]; //~ ERROR mismatched types
 
diff --git a/tests/ui/never_type/regress/loop-in-array-length.stderr b/tests/ui/never_type/regress/loop-in-array-length.stderr
@@ -1,13 +1,13 @@
 warning: denote infinite loops with `loop { ... }`
-  --> $DIR/issue-52443.rs:6:11
+  --> $DIR/loop-in-array-length.rs:8:11
    |
 LL |     [(); {while true {break}; 0}];
    |           ^^^^^^^^^^ help: use `loop`
    |
    = note: `#[warn(while_true)]` on by default
 
 error[E0308]: mismatched types
-  --> $DIR/issue-52443.rs:2:10
+  --> $DIR/loop-in-array-length.rs:4:10
    |
 LL |     [(); & { loop { continue } } ];
    |          ^^^^^^^^^^^^^^^^^^^^^^^ expected `usize`, found `&_`
@@ -21,7 +21,7 @@ LL +     [(); { loop { continue } } ];
    |
 
 error[E0308]: mismatched types
-  --> $DIR/issue-52443.rs:4:17
+  --> $DIR/loop-in-array-length.rs:6:17
    |
 LL |     [(); loop { break }];
    |                 ^^^^^ expected `usize`, found `()`
@@ -32,7 +32,7 @@ LL |     [(); loop { break 42 }];
    |                       ++
 
 error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
-  --> $DIR/issue-52443.rs:9:21
+  --> $DIR/loop-in-array-length.rs:11:21
    |
 LL |     [(); { for _ in 0usize.. {}; 0}];
    |                     ^^^^^^^^ required by a bound introduced by this call
@@ -42,7 +42,7 @@ note: trait `Iterator` is implemented but not `const`
    = note: required for `std::ops::RangeFrom<usize>` to implement `const IntoIterator`
 
 error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
-  --> $DIR/issue-52443.rs:9:21
+  --> $DIR/loop-in-array-length.rs:11:21
    |
 LL |     [(); { for _ in 0usize.. {}; 0}];
    |                     ^^^^^^^^
diff --git a/tests/ui/never_type/regress/malformed-range-to-never.rs b/tests/ui/never_type/regress/malformed-range-to-never.rs
@@ -1,3 +1,5 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/96335>
+
 fn main() {
     0.....{loop{}1};
     //~^ ERROR unexpected token
diff --git a/tests/ui/never_type/regress/malformed-range-to-never.stderr b/tests/ui/never_type/regress/malformed-range-to-never.stderr
@@ -1,5 +1,5 @@
 error: unexpected token: `...`
-  --> $DIR/issue-96335.rs:2:6
+  --> $DIR/malformed-range-to-never.rs:4:6
    |
 LL |     0.....{loop{}1};
    |      ^^^
@@ -16,7 +16,7 @@ LL +     0..=..{loop{}1};
    |
 
 error[E0308]: mismatched types
-  --> $DIR/issue-96335.rs:2:9
+  --> $DIR/malformed-range-to-never.rs:4:9
    |
 LL |     0.....{loop{}1};
    |     ----^^^^^^^^^^^
diff --git a/tests/ui/never_type/regress/never-as-function-argument.rs b/tests/ui/never_type/regress/never-as-function-argument.rs
@@ -0,0 +1,13 @@
+// Regression test for <https://github.com/rust-lang/rust/issues/13352>,
+// check that the never type can be used as a function argument.
+//
+//@run-pass
+
+fn foo(_: Box<dyn FnMut()>) {}
+
+fn main() {
+    #[expect(unreachable_code)]
+    foo(loop {
+        std::process::exit(0);
+    });
+}
diff --git a/tests/ui/never_type/regress/never-as-spec-default-associated-type.rs b/tests/ui/never_type/regress/never-as-spec-default-associated-type.rs
diff --git a/tests/ui/never_type/regress/never-as-spec-default-associated-type.stderr b/tests/ui/never_type/regress/never-as-spec-default-associated-type.stderr
@@ -1,12 +1,12 @@
 error[E0277]: `!` is not an iterator
-  --> $DIR/issue-51506.rs:15:24
+  --> $DIR/never-as-spec-default-associated-type.rs:15:24
    |
 LL |     default type Out = !;
    |                        ^ `!` is not an iterator
    |
    = help: the trait `Iterator` is not implemented for `!`
 note: required by a bound in `Trait::Out`
-  --> $DIR/issue-51506.rs:9:15
+  --> $DIR/never-as-spec-default-associated-type.rs:9:15
    |
 LL |     type Out: Iterator<Item = u32>;
    |               ^^^^^^^^^^^^^^^^^^^^ required by this bound in `Trait::Out`
diff --git a/tests/ui/parser/return-without-semicolon-in-match.rs b/tests/ui/parser/return-without-semicolon-in-match.rs
@@ -1,12 +1,13 @@
 // Tests that `return` without a semicolon parses correctly in a match arm.
 // See <https://github.com/rust-lang/rust/issues/521>
 //
-//@ run-pass
+//@ check-pass
 
-fn f() {
+fn _f() {
+    #[rustfmt::skip]
     let _x = match true {
-        true => { 10 }
-        false => { return }
+        true => { 10 },
+        false => { return },
     };
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`error[E0308]: mismatched types`
`2`		`- --> $DIR/diverging-tuple-parts-39485.rs:9:5`
	`2`	`+ --> $DIR/divergent-block-with-tail.rs:12:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| &panic!()`
`5`	`5`	\| ^^^^^^^^^ expected `()`, found `&_`
`@@ -17,7 +17,7 @@ LL + panic!()`
`17`	`17`	`\|`
`18`	`18`
`19`	`19`	`error[E0308]: mismatched types`
`20`		`- --> $DIR/diverging-tuple-parts-39485.rs:13:5`
	`20`	`+ --> $DIR/divergent-block-with-tail.rs:17:5`
`21`	`21`	`\|`
`22`	`22`	`LL \| fn f() -> isize {`
`23`	`23`	\| ----- expected `isize` because of return type
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// Regression test for <https://github.com/rust-lang/rust/issues/52443>`
	`2`	`+`
`1`	`3`	`fn main() {`
`2`	`4`	`[(); & { loop { continue } } ]; //~ ERROR mismatched types`
`3`	`5`
Original file line number	Diff line number	Diff line change
`@@ -1,13 +1,13 @@`
`1`	`1`	warning: denote infinite loops with `loop { ... }`
`2`		`- --> $DIR/issue-52443.rs:6:11`
	`2`	`+ --> $DIR/loop-in-array-length.rs:8:11`
`3`	`3`	`\|`
`4`	`4`	`LL \| [(); {while true {break}; 0}];`
`5`	`5`	\| ^^^^^^^^^^ help: use `loop`
`6`	`6`	`\|`
`7`	`7`	= note: `#[warn(while_true)]` on by default
`8`	`8`
`9`	`9`	`error[E0308]: mismatched types`
`10`		`- --> $DIR/issue-52443.rs:2:10`
	`10`	`+ --> $DIR/loop-in-array-length.rs:4:10`
`11`	`11`	`\|`
`12`	`12`	`LL \| [(); & { loop { continue } } ];`
`13`	`13`	\| ^^^^^^^^^^^^^^^^^^^^^^^ expected `usize`, found `&_`
`@@ -21,7 +21,7 @@ LL + [(); { loop { continue } } ];`
`21`	`21`	`\|`
`22`	`22`
`23`	`23`	`error[E0308]: mismatched types`
`24`		`- --> $DIR/issue-52443.rs:4:17`
	`24`	`+ --> $DIR/loop-in-array-length.rs:6:17`
`25`	`25`	`\|`
`26`	`26`	`LL \| [(); loop { break }];`
`27`	`27`	\| ^^^^^ expected `usize`, found `()`
`@@ -32,7 +32,7 @@ LL \| [(); loop { break 42 }];`
`32`	`32`	`\| ++`
`33`	`33`
`34`	`34`	error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
`35`		`- --> $DIR/issue-52443.rs:9:21`
	`35`	`+ --> $DIR/loop-in-array-length.rs:11:21`
`36`	`36`	`\|`
`37`	`37`	`LL \| [(); { for _ in 0usize.. {}; 0}];`
`38`	`38`	`\| ^^^^^^^^ required by a bound introduced by this call`
@@ -42,7 +42,7 @@ note: trait `Iterator` is implemented but not `const`
`42`	`42`	= note: required for `std::ops::RangeFrom<usize>` to implement `const IntoIterator`
`43`	`43`
`44`	`44`	error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
`45`		`- --> $DIR/issue-52443.rs:9:21`
	`45`	`+ --> $DIR/loop-in-array-length.rs:11:21`
`46`	`46`	`\|`
`47`	`47`	`LL \| [(); { for _ in 0usize.. {}; 0}];`
`48`	`48`	`\| ^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error: unexpected token: `...`
`2`		`- --> $DIR/issue-96335.rs:2:6`
	`2`	`+ --> $DIR/malformed-range-to-never.rs:4:6`
`3`	`3`	`\|`
`4`	`4`	`LL \| 0.....{loop{}1};`
`5`	`5`	`\| ^^^`
`@@ -16,7 +16,7 @@ LL + 0..=..{loop{}1};`
`16`	`16`	`\|`
`17`	`17`
`18`	`18`	`error[E0308]: mismatched types`
`19`		`- --> $DIR/issue-96335.rs:2:9`
	`19`	`+ --> $DIR/malformed-range-to-never.rs:4:9`
`20`	`20`	`\|`
`21`	`21`	`LL \| 0.....{loop{}1};`
`22`	`22`	`\| ----^^^^^^^^^^^`