We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 70b960b commit c9b36b4Copy full SHA for c9b36b4
tests/pass/stacked-borrows/zst-field-retagging-terminates.rs
@@ -1,4 +1,5 @@
1
//@compile-flags: -Zmiri-retag-fields
2
+// Checks that the test does not run forever (which relies on a fast path).
3
fn main() {
4
let array = [(); usize::MAX];
5
drop(array); // Pass the array to a function, retagging its fields
0 commit comments