about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorDavid Wood <david.wood2@arm.com>2025-05-07 08:24:35 +0000
committerDavid Wood <david.wood2@arm.com>2025-06-16 23:04:37 +0000
commit940726b6f733d2746f9aaa08b88f0d0aa08a938e (patch)
treedef66ecdf56422f7f9474fe46f4fd36a10cb5b55 /src
parent3d128856ce0cc12437285aad4f9b89958f044814 (diff)
miri: fix build
It isn't clear why the `Deref` impl isn't found for this in a stage two
build, but presumably relates to `rustc_middle::ty::RawList` containing
an extern type and `Deref` not yet being relaxed to `PointeeSized` (this
is technically a breaking change but unlikely to be one and will be
tested in a follow-up).
Diffstat (limited to 'src')
-rw-r--r--src/tools/miri/src/shims/native_lib.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/native_lib.rs b/src/tools/miri/src/shims/native_lib.rs
index acf258f4eed..030c2e36721 100644
--- a/src/tools/miri/src/shims/native_lib.rs
+++ b/src/tools/miri/src/shims/native_lib.rs
@@ -72,7 +72,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
             }
             // Functions with no declared return type (i.e., the default return)
             // have the output_type `Tuple([])`.
-            ty::Tuple(t_list) if t_list.is_empty() => {
+            ty::Tuple(t_list) if (*t_list).deref().is_empty() => {
                 unsafe { ffi::call::<()>(ptr, libffi_args.as_slice()) };
                 return interp_ok(ImmTy::uninit(dest.layout));
             }