proposed @noreturn attribute

Stefan Koch via Digitalmars-d digitalmars-d at puremagic.com
Sun Jul 9 11:12:28 PDT 2017


On Sunday, 9 July 2017 at 18:01:08 UTC, Andrei Alexandrescu wrote:
> On 07/09/2017 12:19 PM, Steven Schveighoffer wrote:
>> It's no more of a hack than leaving assert(0) in release code.
>
> I wouldn't argue that. I do argue it's a hack compared to the 
> principled solution of a bottom type. -- Andrei

Adding a new builtin-type would also be okay.
But a compiler-recognized custom structs is quite costly and 
brings with it a much higher complexity and more importantly a 
higher compile-time cost.

It would also require yet another symbol in object.d which is too 
big as it is.



More information about the Digitalmars-d mailing list