// only-x86_64
// check-pass

#![feature(asm, never_type)]
#![crate_type = "rlib"]

pub unsafe fn asm1() {
    let _: () = asm!("");
}

pub unsafe fn asm2() {
    let _: ! = asm!("", options(noreturn));
}

pub unsafe fn asm3() -> ! {
    asm!("", options(noreturn));
}
