Merge pull request #4605 from RalfJung/used

RalfJung · web-flow · commit 501163040c5f · 2025-09-27T09:26:57.000Z
silence unused import error
diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs
@@ -352,6 +352,7 @@ fn fatal_error_(msg: &impl std::fmt::Display) -> ! {
 macro_rules! fatal_error {
     ($($tt:tt)*) => { $crate::fatal_error_(&format_args!($($tt)*)) };
 }
+#[allow(unused)] // use depends on cfg
 use fatal_error;
 
 /// Execute a compiler with the given CLI arguments and callbacks.

Original file line number	Diff line number	Diff line change
`@@ -352,6 +352,7 @@ fn fatal_error_(msg: &impl std::fmt::Display) -> ! {`
`352`	`352`	`macro_rules! fatal_error {`
`353`	`353`	`($($tt:tt)) => { $crate::fatal_error_(&format_args!($($tt))) };`
`354`	`354`	`}`
	`355`	`+#[allow(unused)] // use depends on cfg`
`355`	`356`	`use fatal_error;`
`356`	`357`
`357`	`358`	`/// Execute a compiler with the given CLI arguments and callbacks.`