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


1
2
3
4
5
6
7
8
9

use std::mem::transmute;

enum Void {}

fn main() {
    unsafe {
        let _x: &(i32, Void) = transmute(&42); //~ERROR: encountered a reference pointing to uninhabited type (i32, Void)
    }
}