proposed @noreturn attribute
Marc Schütz via Digitalmars-d
digitalmars-d at puremagic.com
Wed Jul 19 03:24:35 PDT 2017
On Sunday, 16 July 2017 at 20:44:13 UTC, Andrei Alexandrescu
wrote:
> Perhaps we go the inverse route and define the bottom type as
> typeof(*null). Would that simplify matters? There is some good
> consistency about it:
>
> null: a pointer to anything. But can't be dereferenced.
> *null: well, therefore... anything. But can't be created.
That sounds more like a top type, though, because as you said it
can be "anything". A bottom type can not be anything, but only
nothing.
More information about the Digitalmars-d
mailing list