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.