vec test: check number validity

RalfJung · RalfJung · commit 694846f8b462 · 2022-03-22T14:26:40.000-04:00
diff --git 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<Item = &'a mut T>) {

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// compile-flags: -Zmiri-tag-raw-pointers`
	`1`	`+// compile-flags: -Zmiri-tag-raw-pointers -Zmiri-check-number-validity`
`2`	`2`	`// Gather all references from a mutable iterator and make sure Miri notices if`
`3`	`3`	`// using them is dangerous.`
`4`	`4`	`fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {`