enum Never {}

fn never() -> Never {
    unreachable!()
}

fn excl() -> ! {
    unreachable!()
}

fn foo_never() -> u32 {
    // this doesn't compile
    //never()
    panic!()
}

fn foo_expl() -> u32 {
    // this compiles
    excl()
}

fn main(){}