From 9d0c1dd676ee542af15bff3c4cd34c5c8cacaad0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 2 Dec 2018 23:24:08 +0100
Subject: [PATCH] disable VecDeque test until the fix lands in rustc

---
 tests/run-pass-fullmir/vecdeque.rs | 3 +++
 1 file changed, 3 insertions(+)

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() {