DIP 1017--Add Bottom Type--Community Review Round 1

[Nicholas Wilson]

On Friday, 10 August 2018 at 13:15:46 UTC, Dukc wrote:
> The benefit would be that null can be a regular pointer 
> constant (enum null = typeof(&assert(false)).init) instead of a 
> symbol with special meaning. I'd think it makes compiler rules 
> less complex.

I disagree.

> Another advantage is that you could pass null as an argument 
> for a function template which wants to know it's element type 
> (but of course not instantiate it) like any other pointer.

Of what _practical use_ is that?