Adding the ?. operator to D

[Per Nordlöw]

On Thursday, 17 September 2020 at 07:06:24 UTC, FeepingCreature 
wrote:
> It only requires the change that || return the merged truthy 
> type of its parameters rather than bool. For instance, for 
> objects 'a || b' would merge to the most derived superclass of 
> a and b.

That is an interesting idea. Which statically typed languages has 
taken a similar approach? I wonder what Andrei thinks about this.