https://issues.dlang.org/show_bug.cgi?id=22004
Dlang Bot <dlang-bot@dlang.rocks> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |pull
--- Comment #6 from Dlang Bot <dlang-bot@dlang.rocks> ---
@MoonlightSentinel created dlang/dmd pull request #13155 "Fix 22004 -
Subsequent return statements override inferred noreturn return type" fixing
this issue:
- 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
--
