diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index f1d3e949eaed..0c5127d802f8 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1805,9 +1805,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> { } /// Placeholder! - fn get_default_alloc_params(&self) -> ::AllocParams { - () - } + fn get_default_alloc_params(&self) -> ::AllocParams {} } /// Trait for callbacks handling asynchronous machine operations.