src/tools/miri/tests/pass/assume_bug.rs

//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
fn main() {
    vec![()].into_iter();
}