On Saturday, 31 December 2022 at 01:45:06 UTC, Walter Bright wrote: > But hey, this discussion is ultimately pointless. D will get > sumtypes Object and int* and friends are already sumtypes. They are sumtype { typeof(null), actual Object/int*/whatever } But the compiler doesn't really realize this.