proposed @noreturn attribute

[Meta via Digitalmars-d]

On Wednesday, 12 July 2017 at 09:32:32 UTC, Timon Gehr wrote:
> 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.

D is not ML or Haskell or Idris. Rust has trod this ground before 
us and they saw it prudent to not make ! a first-class type. I 
think this is both a concession to usability and an acceptable 
compromise for a systems programming language.