Built-in sumtypes, case and noreturn: why block enders should be expressions.
FeepingCreature
feepingcreature at gmail.com
Tue Oct 25 13:12:22 UTC 2022
On Tuesday, 25 October 2022 at 10:04:50 UTC, Dukc wrote:
> It does not though. The implementation does not currently
> convert the bottom type to `throwable`. If this is allowed,
> should it be allowed in `nothrow`? What about `@safe`? I tend
> to think that yes but not sure.
Wow.
```
extern(C) noreturn abort();
noreturn foo() nothrow { throw abort; }
```
That is truly evil.
More information about the Digitalmars-d
mailing list