about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorThe Miri Cronjob Bot <miri@cron.bot>2024-10-22 05:08:45 +0000
committerThe Miri Cronjob Bot <miri@cron.bot>2024-10-22 05:08:45 +0000
commitcd8c1234ce50de8add477b47fa04aa44a36fc2e6 (patch)
treeab7307e6b0f5b8dadecf3bc3b5f867f32deb92c2 /src
parent865acc2e83dba0ac601aab19a41f769126b396a7 (diff)
downloadrust-cd8c1234ce50de8add477b47fa04aa44a36fc2e6.tar.gz
rust-cd8c1234ce50de8add477b47fa04aa44a36fc2e6.zip
fmt
Diffstat (limited to 'src')
-rw-r--r--src/tools/miri/src/intrinsics/simd.rs11
-rw-r--r--src/tools/miri/tests/fail/provenance/ptr_invalid.rs1
2 files changed, 4 insertions, 8 deletions
diff --git a/src/tools/miri/src/intrinsics/simd.rs b/src/tools/miri/src/intrinsics/simd.rs
index 0799b93dbb0..f15b83a054f 100644
--- a/src/tools/miri/src/intrinsics/simd.rs
+++ b/src/tools/miri/src/intrinsics/simd.rs
@@ -1,7 +1,8 @@
 use either::Either;
 use rustc_apfloat::{Float, Round};
+use rustc_middle::ty::FloatTy;
 use rustc_middle::ty::layout::LayoutOf;
-use rustc_middle::{mir, ty, ty::FloatTy};
+use rustc_middle::{mir, ty};
 use rustc_span::{Symbol, sym};
 use rustc_target::abi::{Endian, HasDataLayout};
 
@@ -630,12 +631,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 let (right, right_len) = this.project_to_simd(right)?;
                 let (dest, dest_len) = this.project_to_simd(dest)?;
 
-                let index = generic_args[2]
-                    .expect_const()
-                    .try_to_valtree()
-                    .unwrap()
-                    .0
-                    .unwrap_branch();
+                let index =
+                    generic_args[2].expect_const().try_to_valtree().unwrap().0.unwrap_branch();
                 let index_len = index.len();
 
                 assert_eq!(left_len, right_len);
diff --git a/src/tools/miri/tests/fail/provenance/ptr_invalid.rs b/src/tools/miri/tests/fail/provenance/ptr_invalid.rs
index d4479f32e56..c91f4ec158f 100644
--- a/src/tools/miri/tests/fail/provenance/ptr_invalid.rs
+++ b/src/tools/miri/tests/fail/provenance/ptr_invalid.rs
@@ -1,4 +1,3 @@
-
 // Ensure that a `ptr::without_provenance` ptr is truly invalid.
 fn main() {
     let x = 42;