fn foo() -> () {
    loop {

    }
}

fn bar() -> ! {
    loop {

    }
}



type Empty = *const fn() -> ();

fn main() {
    let mut x: Empty = foo as Empty;
    x = bar as Empty;

    unsafe {
        (*x)();
    }
}