diff --git a/tests/ui/never_type/call-fn-never-arg.rs b/tests/ui/never_type/call-fn-never-arg.rs
index d64370f2ece6..546b37fb52f5 100644
--- a/tests/ui/never_type/call-fn-never-arg.rs
+++ b/tests/ui/never_type/call-fn-never-arg.rs
@@ -3,7 +3,7 @@
 //@ check-pass
 
 #![feature(never_type)]
-#![allow(unreachable_code)]
+#![expect(unreachable_code)]
 
 fn foo(x: !) -> ! {
     x
diff --git a/tests/ui/never_type/exhaustive_patterns.rs b/tests/ui/never_type/exhaustive_patterns.rs
index 4f9e55c3d8dc..0562575d511e 100644
--- a/tests/ui/never_type/exhaustive_patterns.rs
+++ b/tests/ui/never_type/exhaustive_patterns.rs
@@ -3,7 +3,7 @@
 //
 //@ check-fail
 
-#![feature(exhaustive_patterns, never_type)]
+#![feature(never_type)]
 
 mod inner {
     pub struct Wrapper<T>(T);
diff --git a/tests/ui/never_type/impl-for-never.rs b/tests/ui/never_type/impl-for-never.rs
index dad3002c9a0c..e908d2a62547 100644
--- a/tests/ui/never_type/impl-for-never.rs
+++ b/tests/ui/never_type/impl-for-never.rs
@@ -1,6 +1,7 @@
 // Test that we can call static methods on ! both directly and when it appears in a generic
 //
 //@ run-pass
+//@ check-run-results
 
 #![feature(never_type)]
 
diff --git a/tests/ui/never_type/impl-for-never.run.stdout b/tests/ui/never_type/impl-for-never.run.stdout
new file mode 100644
index 000000000000..8f23a337b392
--- /dev/null
+++ b/tests/ui/never_type/impl-for-never.run.stdout
@@ -0,0 +1,2 @@
+! is !
+None is none
diff --git a/tests/ui/never_type/never-assign-dead-code.rs b/tests/ui/never_type/never-assign-dead-code.rs
index 0aae868c29b5..05e5d5551336 100644
--- a/tests/ui/never_type/never-assign-dead-code.rs
+++ b/tests/ui/never_type/never-assign-dead-code.rs
@@ -3,7 +3,7 @@
 //@ check-pass
 
 #![feature(never_type)]
-#![allow(dropping_copy_types)]
+#![expect(dropping_copy_types)]
 #![warn(unused)]
 
 fn main() {
diff --git a/tests/ui/never_type/never-assign-wrong-type.rs b/tests/ui/never_type/never-assign-wrong-type.rs
index 67e26f5663f4..ccc2f872dab4 100644
--- a/tests/ui/never_type/never-assign-wrong-type.rs
+++ b/tests/ui/never_type/never-assign-wrong-type.rs
@@ -1,7 +1,6 @@
 // Test that we can't use another type in place of !
 
 #![feature(never_type)]
-#![deny(warnings)]
 
 fn main() {
     let x: ! = "hello"; //~ ERROR mismatched types
diff --git a/tests/ui/never_type/never-assign-wrong-type.stderr b/tests/ui/never_type/never-assign-wrong-type.stderr
index f59de5d2a428..dd890e4d163b 100644
--- a/tests/ui/never_type/never-assign-wrong-type.stderr
+++ b/tests/ui/never_type/never-assign-wrong-type.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/never-assign-wrong-type.rs:7:16
+  --> $DIR/never-assign-wrong-type.rs:6:16
    |
 LL |     let x: ! = "hello";
    |            -   ^^^^^^^ expected `!`, found `&str`
diff --git a/tests/ui/never_type/never-result.rs b/tests/ui/never_type/never-result.rs
index ffcd44339346..34b7cd67a55a 100644
--- a/tests/ui/never_type/never-result.rs
+++ b/tests/ui/never_type/never-result.rs
@@ -3,11 +3,9 @@
 //
 //@ run-pass
 
-#![allow(unused_variables)]
-#![allow(unreachable_code)]
-#![allow(unreachable_patterns)]
-// Test that we can extract a ! through pattern matching then use it as several different types.
 #![feature(never_type)]
+#![expect(unused_variables)]
+#![expect(unreachable_code)]
 
 fn main() {
     let x: Result<u32, !> = Ok(123);
diff --git a/tests/ui/never_type/never_transmute_never.rs b/tests/ui/never_type/never_transmute_never.rs
index 096aadd8f04a..6d32a12bc44a 100644
--- a/tests/ui/never_type/never_transmute_never.rs
+++ b/tests/ui/never_type/never_transmute_never.rs
@@ -2,8 +2,8 @@
 
 #![feature(never_type)]
 #![allow(dead_code)]
-#![allow(unreachable_code)]
-#![allow(unused_variables)]
+#![expect(unreachable_code)]
+#![expect(unused_variables)]
 
 struct Foo;