Spec#, nullables and more

[bearophile]

Kagamin:

> It's hard to tell, whether they fix anything. When you cast nullable to non-nullable, you get your runtime exception as usual, if you if out access to nullable (e.g. in delayed method), you get your runtime exception again or rather logical bug.

I think you are missing about half of the ideas tied to this nonnullable discussion. I suggest you to read the linked article about Spec#.

Bye,
bearophile