noreturn is the bottom type which can implicitly convert to any type, including void. A value of type noreturn will never be produced and the compiler can optimize such code accordingly.

https://dlang.org/spec/type.html#noreturn

Reply via email to