[Issue 22004] [REG2.097] Error: mismatched function return type inference of `void` and `noreturn`

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=22004

Dlang Bot <dlang-bot at dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Dlang Bot <dlang-bot at dlang.rocks> ---
dlang/dmd pull request #13155 "Fix 22004 - Subsequent return statements
override inferred noreturn return type" was merged into stable:

- 8f4be075c727594c203cc0a36fea9d518c1f1d30 by MoonlightSentinel:
  Fix 22004 - Subsequent return statements override inferred noreturn...

  ... return type.

  Return type inference used to commit to `noreturn` when encountering
  a return statement producing a `noreturn` value. This was problematic
  when the function contained subsequent `void` returns, raising an error
  regarding missmatched function type inference even though `void` and
  `noreturn` are compatible (neither produce an actual value).

  This patch changes the code to let `noreturn` be overriden by `void`.

https://github.com/dlang/dmd/pull/13155

--