<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
That would fall into the category of “more general support for nullness features.” Arrays are reference types. This JEP starts deliberately narrowly — with value types. <br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On Jan 12, 2024, at 7:54 PM, David Alayachew <<a href="mailto:davidalayachew@gmail.com" class="">davidalayachew@gmail.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div dir="ltr" class="">
<div class="gmail_default" style="font-family:monospace">Hello Valhalla Dev Team,</div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">I see the JEP Draft for Null-Restricted Value Class Types (<a href="https://openjdk.org/jeps/8316779" class="">https://openjdk.org/jeps/8316779</a>), and it looks beautiful. I am extremely excited at
the possibilities.</div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">At the very bottom of the draft, there is a tiny snippet --- "More general support for nullness features will be explored in a future JEP."</div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">Any chance that we could be looking at arrays that cannot be null? </div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">And to be clear, I am not saying arrays that cannot contain null. This JEP Draft already confirms that that is not only a possibility, but might very well become reality (only if this draft goes live,
and then the feature exits preview into GA).</div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">No, I mean that the array itself cannot be null. Any possibility? And apologies if the answer is obvious. I don't want to make any assumptions here, since I am still wrapping my mind around how Valhalla
made all of this stuff possible. I figured it's better to just ask.<br class="">
</div>
<div class="gmail_default" style="font-family:monospace"><br class="">
</div>
<div class="gmail_default" style="font-family:monospace">Thank you for your time and help!</div>
<div class="gmail_default" style="font-family:monospace">David Alayachew<br class="">
</div>
</div>
</div>
</blockquote>
</div>
<br class="">
</body>
</html>