On 07/15/2017 11:30 PM, Walter Bright wrote:
On 7/13/2017 5:18 PM, Andrei Alexandrescu wrote:
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
I thought bottom.sizeof would be 0.
My thinking comes from bottom being the subtype of all types in the
universe. Therefore, it must include the state of all types. But let's
wait for Timon. -- Andrei
