src/tools/miri/tests/fail/validity/invalid_wide_raw.rs


1
2
3
4
5
6
7
8
9
10
11

#![allow(invalid_value)]

fn main() {
    trait T {}
    #[derive(Debug)]
    struct S {
        #[allow(dead_code)]
        x: *mut dyn T,
    }
    dbg!(S { x: unsafe { std::mem::transmute((0usize, 0usize)) } }); //~ ERROR: encountered null pointer, but expected a vtable pointer
}