From 694846f8b462739ecefc476e7b2a9662ead3759d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 22 Mar 2022 14:26:40 -0400 Subject: [PATCH] vec test: check number validity --- tests/run-pass/vec.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/run-pass/vec.rs b/tests/run-pass/vec.rs index c0cf42134527..44e25387fff4 100644 --- a/tests/run-pass/vec.rs +++ b/tests/run-pass/vec.rs @@ -1,4 +1,4 @@ -// compile-flags: -Zmiri-tag-raw-pointers +// compile-flags: -Zmiri-tag-raw-pointers -Zmiri-check-number-validity // Gather all references from a mutable iterator and make sure Miri notices if // using them is dangerous. fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator) {