diff --git a/tokio/src/runtime/builder.rs b/tokio/src/runtime/builder.rs index 1f8892eafc8..d2f4b6638df 100644 --- a/tokio/src/runtime/builder.rs +++ b/tokio/src/runtime/builder.rs @@ -459,10 +459,16 @@ cfg_io_driver! { /// .build() /// .unwrap(); /// ``` + #[cfg(not(miri))] pub fn enable_io(&mut self) -> &mut Self { self.enable_io = true; self } + + #[cfg(miri)] + pub fn enable_io(&mut self) -> &mut Self { + self + } } } @@ -482,10 +488,17 @@ cfg_time! { /// .build() /// .unwrap(); /// ``` + #[cfg(not(miri))] pub fn enable_time(&mut self) -> &mut Self { self.enable_time = true; self } + + #[cfg(miri)] + pub fn enable_time(&mut self) -> &mut Self { + self + } + } }