pacify clippy

RalfJung · RalfJung · commit b79be65ead55 · 2025-05-27T08:18:25.000+02:00
diff --git a/src/machine.rs b/src/machine.rs
@@ -1805,9 +1805,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
     }
 
     /// Placeholder!
-    fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams {
-        ()
-    }
+    fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams {}
 }
 
 /// Trait for callbacks handling asynchronous machine operations.

Original file line number	Diff line number	Diff line change
`@@ -1805,9 +1805,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {`
`1805`	`1805`	`}`
`1806`	`1806`
`1807`	`1807`	`/// Placeholder!`
`1808`		`- fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams {`
`1809`		`- ()`
`1810`		`- }`
	`1808`	`+ fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams {}`
`1811`	`1809`	`}`
`1812`	`1810`
`1813`	`1811`	`/// Trait for callbacks handling asynchronous machine operations.`