Auto merge of #101893 - oli-obk:lift_derive, r=lcnr

[rust.git] / src / tools / miri / tests / pass / assume_bug.rs

fn main() {
    vec![()].into_iter();
}