Void type in Rust

void.rs

enum Void {}

impl Void {
    fn unreachable(self) -> ! {
        match self { }
    }

    unsafe fn make() -> Void {
        std::unstable::intrinsics::uninit()
    }
}

fn main() {
    let x: Void = unsafe { Void::make() };
    x.unreachable();
}

/*
$ rustc void.rs
Found return instr that returns non-void in Function of void return type!
  ret %enum.Void undef
 voidBroken module found, compilation aborted!
Aborted
*/