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

   1 #![feature(never_type)]
   2 use std::mem::{forget, transmute};
   3
   4 fn main() {
   5     unsafe {
   6         let x: Box<!> = transmute(&mut 42); //~ERROR: encountered a box pointing to uninhabited type !
   7         forget(x);
   8     }
   9 }