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


1
2
3
4
5
6
7
8
9

#![feature(never_type)]
use std::mem::{forget, transmute};

fn main() {
    unsafe {
        let x: Box<!> = transmute(&mut 42); //~ERROR: encountered a box pointing to uninhabited type !
        forget(x);
    }
}