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