avoid blanket allow(unused)

RalfJung · RalfJung · commit 0c2e30bc1a50 · 2025-10-13T10:44:31.000+02:00
diff --git a/src/tools/miri/tests/fail/function_calls/arg_inplace_locals_alias.rs b/src/tools/miri/tests/fail/function_calls/arg_inplace_locals_alias.rs
@@ -6,7 +6,6 @@
 //@compile-flags: -Zmiri-disable-validation
 
 #![feature(custom_mir, core_intrinsics)]
-#![allow(unused)]
 
 use std::intrinsics::mir::*;
 
@@ -31,6 +30,7 @@ fn main() {
     }
 }
 
+#[expect(unused_variables, unused_assignments)]
 fn callee(x: S, mut y: S) {
     // With the setup above, if `x` and `y` are both moved,
     // then writing to `y` will change the value stored in `x`!

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,6 @@`
`6`	`6`	`//@compile-flags: -Zmiri-disable-validation`
`7`	`7`
`8`	`8`	`#![feature(custom_mir, core_intrinsics)]`
`9`		`-#![allow(unused)]`
`10`	`9`
`11`	`10`	`use std::intrinsics::mir::*;`
`12`	`11`
`@@ -31,6 +30,7 @@ fn main() {`
`31`	`30`	`}`
`32`	`31`	`}`
`33`	`32`
	`33`	`+#[expect(unused_variables, unused_assignments)]`
`34`	`34`	`fn callee(x: S, mut y: S) {`
`35`	`35`	// With the setup above, if `x` and `y` are both moved,
`36`	`36`	// then writing to `y` will change the value stored in `x`!