<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
Hi Archie,<br>
<br>
The lw5 branch that hangs from the (lworld branch) in the valhalla
repo has the javac implementation of this JEP, please ping me with
any comments / suggestions / proposals etc,<br>
<br>
Vicente<br>
<br>
<div class="moz-cite-prefix">On 2/18/25 14:35, Archie Cobbs wrote:<br>
</div>
<blockquote type="cite" cite="mid:CANSoFxuG+ZxLDg8YR4+_unEcKWJpiUNQsRAb-+CTpbL9HSgstA@mail.gmail.com">
<div dir="ltr">
<div>Question about <a href="https://bugs.openjdk.org/browse/JDK-8303099" moz-do-not-send="true">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>
</blockquote>
<br>
</body>
</html>