Built-in sumtypes, case and noreturn: why block enders should be expressions.

[FeepingCreature]

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.