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