about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/assume_bug.rs
blob: 662b90150886dcac26fde211802226bfc64fa9b5 (plain)
1
2
3
4
5
//@revisions: stack tree
//@[tree]compile-flags: -Zmiri-tree-borrows
fn main() {
    vec![()].into_iter();
}