Basically something like:
Never neverReturns() { assert(0); } or @noreturn auto neverReturns() { assert(0); } and int tryMe(bool f) { if(f) return 42; else neverReturns(); }Then have the call on line 2 in `tryMe` be accepted by the compiler.
Basically something like:
Never neverReturns() { assert(0); } or @noreturn auto neverReturns() { assert(0); } and int tryMe(bool f) { if(f) return 42; else neverReturns(); }Then have the call on line 2 in `tryMe` be accepted by the compiler.