proposed @noreturn attribute

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Tue Jul 11 18:50:26 PDT 2017


On 7/11/17 4:29 AM, Timon Gehr wrote:
> On 10.07.2017 18:23, Meta wrote:
>> ...
>> problems with stuff like typeof(null)* etc. because for the most part 
>> it's just a regular type, unlike Bottom.
> 
> Bottom is just a regular type.

Wouldn't the fact that it's a subtype of all other types make it a bit 
more peculiar? -- Andrei


More information about the Digitalmars-d mailing list