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

[Nicholas Wilson]

On Friday, 10 August 2018 at 11:31:02 UTC, Dukc wrote:
> On Friday, 10 August 2018 at 11:28:38 UTC, Dukc wrote:
>>
>> One example comes to mind: is(typeof(null) == 
>> typeof(assert(0))).
>
> meant is(typeof(*null) == typeof(assert(0)))

How is that a good thing??? Also that is not specified in the 
dip. I would expect that to fail because both will produce error 
nodes in the AST, only assert(0) is considered special under this 
DIP.