proposed @noreturn attribute

Stefan Koch via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 19 03:35:37 PDT 2017


On Wednesday, 19 July 2017 at 10:24:35 UTC, Marc Schütz wrote:
> 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.

It's the bottom.
Bottom is to Types, as Object is to Classes.



More information about the Digitalmars-d mailing list