> > > > > nicolas-grekas wrote on the PR: > > > > > ?X&Y cannot be confused with > > > > > > > > It confused me. A compiler might understand it, but as a human I have > > > > trouble understanding it. >
I think ?X&Y would be a pretty poor syntax choice, as it's ambiguous as many others said: (X|null)&(Y) vs. (X&Y)|null. What hasn't been proposed, yet, is ?X&?Y, so requiring either all or none of the types being nullable. Best, Niklas
