#![feature(core_intrinsics)]
#![feature(intrinsics)]
use std::intrinsics::unreachable;

fn get_trans() -> unsafe extern "rust-intrinsic" fn () -> ! {
    return unreachable;
}

fn main () {
    unsafe { get_trans()() };
}