Re: DIP 1017--Add Bottom Type--Community Review Round 1

[bachmeier via Digitalmars-d]

On Thursday, 9 August 2018 at 13:56:05 UTC, Gary Willoughby wrote:

perhaps this should actually be an attribute `@bottom`, or more a documenting: `@noreturn`?

Yes, it should.