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.