It's not safe until it's in the coffer

[Maurizio Cimadamore]

On 09/05/2019 13:35, forax at univ-mlv.fr wrote:
> yes, it's verbose by design.

I object to this a bit.

There will be cases where using nullable projection will be _the only_ 
way to solve certain problems (e.g. to build value types that can 
reference to themselves). Forcing an heavy syntax on these cases seems 
punitive. You seem to assume that, once we have specialized generics, 
people will just use them and forget about nullable projections. I don't 
think that's the case, and some internal discussions we started (e.g. to 
sprinkle values on HashMap implementation) seem to point in that 
direction too.

Maurizio