7. Can we develop a reasonable list of null check patterns that the compiler can recognise?
Na ez az izgalmas része. Az ötlet jó, de csak ha valóban teljesül az a mondat, hogy
2. It must be intuitive, i.e. a reasonable programmer should never have to even think about the list, because any sensible code will 'just work'.