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))).