diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-27 05:03:22 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-05-27 05:03:22 +0000 |
| commit | bf0aab9b2e5d8ebd33517668e121c8caf554acb0 (patch) | |
| tree | 18e28082a41faab5ec25167efb8c2186786eebba | |
| parent | 1c73fb9fc4279b2f8b85af7c48b3c9782fe35067 (diff) | |
| download | rust-bf0aab9b2e5d8ebd33517668e121c8caf554acb0.tar.gz rust-bf0aab9b2e5d8ebd33517668e121c8caf554acb0.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/concurrency/thread.rs | 6 | ||||
| -rw-r--r-- | src/tools/miri/src/machine.rs | 4 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/tools/miri/src/concurrency/thread.rs b/src/tools/miri/src/concurrency/thread.rs index 15f15572c93..5014bbeedb0 100644 --- a/src/tools/miri/src/concurrency/thread.rs +++ b/src/tools/miri/src/concurrency/thread.rs @@ -902,7 +902,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { let mut alloc = alloc.inner().adjust_from_tcx( &this.tcx, |bytes, align| { - interp_ok(MiriAllocBytes::from_bytes(std::borrow::Cow::Borrowed(bytes), align, ())) + interp_ok(MiriAllocBytes::from_bytes( + std::borrow::Cow::Borrowed(bytes), + align, + (), + )) }, |ptr| this.global_root_pointer(ptr), )?; diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs index 5d5c19a24fa..f1d3e949eae 100644 --- a/src/tools/miri/src/machine.rs +++ b/src/tools/miri/src/machine.rs @@ -1805,7 +1805,9 @@ 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. |