From 46f53c8b5d576f3a9d8ff9c8857dad16f9e0dca7 Mon Sep 17 00:00:00 2001 From: The Miri Conjob Bot Date: Sat, 6 Jan 2024 05:02:47 +0000 Subject: [PATCH] fmt --- .../fail/function_pointers/abi_mismatch_array_vs_struct.rs | 7 ++++++- .../pass/stacked-borrows/non_scalar_field_retagging.rs | 6 +++++- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs index 401927f5f6c9..4468eb299f3d 100644 --- a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs +++ b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_array_vs_struct.rs @@ -3,7 +3,12 @@ // Some targets treat arrays and structs very differently. We would probably catch that on those // targets since we check the `PassMode`; here we ensure that we catch it on *all* targets // (in particular, on x86-64 the pass mode is `Indirect` for both of these). -struct S(#[allow(dead_code)] i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32); +struct S( + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, +); type A = [i32; 4]; fn main() { diff --git a/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs b/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs index 06c0b683810a..92d8f3237d01 100644 --- a/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs +++ b/src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs @@ -1,6 +1,10 @@ //@compile-flags: -Zmiri-retag-fields=scalar -struct Newtype<'a>(#[allow(dead_code)] &'a mut i32, #[allow(dead_code)] i32, #[allow(dead_code)] i32); +struct Newtype<'a>( + #[allow(dead_code)] &'a mut i32, + #[allow(dead_code)] i32, + #[allow(dead_code)] i32, +); fn dealloc_while_running(_n: Newtype<'_>, dealloc: impl FnOnce()) { dealloc();