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