DIP 1017--Add Bottom Type--Community Review Round 1
Dukc
ajieskola at gmail.com
Fri Aug 10 11:28:38 UTC 2018
On Thursday, 9 August 2018 at 04:10:47 UTC, Nicholas Wilson wrote:
> * "[With @noreturn] other potential uses of a bottom type will
> not be expressible". What other? Documentation and optimisation
> definitely can be, the are in LDC since a long time, there are
> no other substantiated benefits listed in the DIP.
One example comes to mind: is(typeof(null) == typeof(assert(0))).
More information about the Digitalmars-d
mailing list