proposed @noreturn attribute

[Lurker via Digitalmars-d]

On Saturday, 8 July 2017 at 20:27:11 UTC, H. S. Teoh wrote:
> Also, a @noreturn attribute would allow overriding a non-void 
> class method with a @noreturn one (e.g. the derived class is a 
> sentinel object that forces an exception / termination upon 
> calling that method), whereas you can't do that with a None 
> return type because the signature would not match the base 
> class's.
>
>
> T

The reverse is also true, and more disastrous!