proposed @noreturn attribute

Marc Schütz via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 19 04:02:07 PDT 2017


On Wednesday, 12 July 2017 at 13:22:46 UTC, Meta wrote:
> 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.

Only to turn around after they realized their mistake:

https://doc.rust-lang.org/stable/book/second-edition/ch19-04-advanced-types.html#the-never-type--that-never-returns


More information about the Digitalmars-d mailing list