Can non-nullable references be implemented as a library?

[bearophile]

Andrei:

> This thread does have a good outcome: Walter will at least consider 
> improving flow analysis in constructors to support @disable'd default 
> constructors. That is the key improvement that allows NonNull as a library.

Good :-)

Bye,
bearophile