src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs

//@compile-flags: -Zmiri-retag-fields
// Checks that the test does not run forever (which relies on a fast path).

#![allow(dropping_copy_types)]

fn main() {
    let array = [(); usize::MAX];
    drop(array); // Pass the array to a function, retagging its fields
}