diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 0bf5ae87f3836..40d2a63916ed8 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -16,6 +16,7 @@ #![feature(unqualified_local_imports)] #![feature(derive_coerce_pointee)] #![feature(arbitrary_self_types)] +#![cfg_attr(bootstrap,feature(legacy_receiver_trait))] // Configure clippy and other lints #![allow( clippy::collapsible_else_if, diff --git a/src/tools/miri/src/shims/files.rs b/src/tools/miri/src/shims/files.rs index 6b4f4cdc922a0..a7b408ec76600 100644 --- a/src/tools/miri/src/shims/files.rs +++ b/src/tools/miri/src/shims/files.rs @@ -43,6 +43,10 @@ impl Deref for FileDescriptionRef { } } +#[cfg(bootstrap)] +impl core::ops::LegacyReceiver for FileDescriptionRef { +} + impl FileDescriptionRef { pub fn id(&self) -> FdId { self.0.id