<div dir="ltr"><div>Question about <a href="https://bugs.openjdk.org/browse/JDK-8303099">JDK-8303099</a> - "Null-Restricted and Nullable Types (Preview)".</div><div><br></div><div><div>This idea really clicks for me. The need to prove that some
 variable is not null is utterly pervasive, so the addition of a single "!" 
character that proves it would be a huge win. It would be yet another "help me prove this code is correct"  task I 
can offload to the compiler, adding it to a long list that includes final fields, unchecked warnings, exhaustive switch, sealed types, etc.</div></div><div><br></div><div>What is the current status of this JEP?</div><div><ul><li>Is there some general consensus on the idea?</li><li>Has anyone started work on a prototype?</li><li>Does it really depend on valhalla, or could it stand by itself?</li></ul></div><div>Thanks,</div><div>-Archie</div><br><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Archie L. Cobbs<br></div></div>