Bug 23114 – Can't use noreturn operand in arithmetic expression

As of DMD 2.100.0, the following program fails to compile --- void main() { auto _ = 2 + throw new Exception(""); } --- The error message is: --- bug.d(3): Error: incompatible types for `(2) + (throw new Exception("", "bug.d", 3LU, null))`: `int` and `noreturn` --- Changing the right-hand operand of the + operator to `cast(int) throw new Exception("")` causes the program to compile successfully and throw an exception at runtime, as expected. Since noreturn implicitly converts to every type, including int, this program should compile without an explicit cast.

@maxhaton created dlang/dmd pull request #14134 "Fix Issue 23114 - Make noreturn conversions work" fixing this issue: - Fix Issue 23114 - Make noreturn conversions work https://github.com/dlang/dmd/pull/14134

This has nothing in particular to do with throwing expressions. The following fails for the same reason: --- noreturn foo(); int test() { return 1 + foo(); } ---

@maxhaton updated dlang/dmd pull request #14091 "Fix Issue 23088 - This bug is a symptom of a bad error message." fixing this issue: - Fix Issue 23114 - Make noreturn conversions work This meant adding the correct implicit conversions to the table in impcnvtab.d https://github.com/dlang/dmd/pull/14091

dlang/dmd pull request #14134 "Fix Issue 23114 - Make noreturn conversions work" was merged into stable: - 8d9c0a33cecc5ff281659962a723f18a7bfd168f by mhh: Fix Issue 23114 - Make noreturn conversions work https://github.com/dlang/dmd/pull/14134

dlang/dmd pull request #14280 "merge stable" was merged into master: - dbe0600f853466992fe8f3c3f684f520f6a15883 by mhh: Fix Issue 23114 - Make noreturn conversions work https://github.com/dlang/dmd/pull/14280