about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/validity/invalid_fnptr_uninit.rs
blob: 014a8ae847a7922a561b20985fbb5599fc34bbfb (plain)
1
2
3
4
5
6
7
8
9
10
#![allow(invalid_value)]

union MyUninit {
    init: (),
    uninit: [fn(); 1],
}

fn main() {
    let _b = unsafe { MyUninit { init: () }.uninit }; //~ ERROR: constructing invalid value
}