On 7/13/17 2:37 PM, Timon Gehr wrote:
On Thursday, 13 July 2017 at 17:25:18 UTC, Timon Gehr wrote:
Anyway, my assertion that Bottom cannot be a subtype of all other
types was actually incorrect: the compiler does not need to generate
code for implicit conversion from Bottom to some other type, so it can
be treated as a subtype.
...
(Actually, there are some complications like the .sizeof property.
Anyway, it is clear what the semantics of Bottom are, no matter whether
it is subtyping or implicit conversion.)
I wonder if sizeof could be made size_t.max. -- Andrei