Never return type¶

You can use ! (a.k.a. never) as return type of function to specify that function never returns.

public halt_program() -> ! {
    // Some halt code
}

Comments