Bottom Type--Type Theory

[Dukc]

On Thursday, 17 January 2019 at 13:15:03 UTC, H. S. Teoh wrote:
> On Thu, Jan 17, 2019 at 10:35:00AM +0000, Dukc via 
> Digitalmars-d wrote: [...]
>> -Where no type is convertible from `typeof(assert(0))`, any 
>> type could
>> be made convertible from `void`, the only possible value of 
>> void
>> converting to target type's `.init` value.
>
> I think you got the conversion direction mixed up.  If 
> typeof(assert(0))
> is supposed to be the bottom type, then it must implicitly 
> convert to
> every other type (as Walter's DIP stipulates), but no other 
> type could
> implicitly convert to it.

Oh yes. Stratch that.