proposed @noreturn attribute

[Timon Gehr via Digitalmars-d]

On 09.07.2017 23:45, Meta wrote:
> ...
> Another case that we should probably just statically disallow:
> ... > This obviously doesn't make any sense anyway
> ... > I don't see a reason for us to ever need to do that
Sorry, but this thinking has no place in type system design. This is 
precisely how you create a convoluted nonsensical mess.