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


1
2
3
4
5
6
7

#![feature(box_syntax)]

fn main() {
    // With the nested Vec, this is calling Offset(Unique::empty(), 0) on drop.
    let args: Vec<Vec<i32>> = Vec::new();
    let _val = box args;
}