bearophile Wrote: > Walter: > > > I don't see that non-null is such a special case that it would benefit from > > a > > special case syntax. > > Well, nonnull are a special cases because: > - There is a good enough way to solve this problem. This is not true in the > general case. > - null exceptions are very common bugs, among the most common ones in Java > and C#.
citation needed. I've made software with 100% line and path coverage. No segfaults happened ever. Spent enormous time optimizing the code and its quality. In quality applications NPE/segfaults simply don't exist.