On 7/9/2017 6:13 AM, Andrei Alexandrescu wrote:
We should use typeof(assert(0)) for Bottom. There is precedent - there is no name for typeof(null).I had forgotten about the typeof(null) thing. You're right. But there are some issues. What do we do with:
typeof(assert(0))* p;
? What does that mean?
