diff --git a/tests/run-pass-fullmir/vecdeque.rs b/tests/run-pass-fullmir/vecdeque.rs index 381169505ec..d92cff0b084 100644 --- a/tests/run-pass-fullmir/vecdeque.rs +++ b/tests/run-pass-fullmir/vecdeque.rs @@ -1,3 +1,6 @@ +// FIXME: Validation disabled until https://github.com/rust-lang/rust/pull/56161 lands +// compile-flags: -Zmiri-disable-validation + use std::collections::VecDeque; fn main() {