Denis Koroskin <2kor...@gmail.com> wrote:
Since many people think that non-nullable references can be implemented
as a library and thus don't belong to core language, I've decided to
show that it is in fact impossible to do so.
How do you enforce the following behavior:
[snip]
Without support of these use-cases NonNull!(T) is useless.
There can be other examples, but I think these are enough to prove that
non-nullable references can not be implemented in library.
Indeed. There is also the arrays I've mentioned before, and as you
mention here, fields of classes and structs. Good catch.
--
Simen
