Status of: Null-Restricted and Nullable Types (Preview)

[Vicente Romero]

Hi Archie,

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,

Vicente

On 2/18/25 14:35, Archie Cobbs wrote:
> Question about JDK-8303099 
> <https://bugs.openjdk.org/browse/JDK-8303099> - "Null-Restricted and 
> Nullable Types (Preview)".
>
> 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.
>
> What is the current status of this JEP?
>
>   * Is there some general consensus on the idea?
>   * Has anyone started work on a prototype?
>   * Does it really depend on valhalla, or could it stand by itself?
>
> Thanks,
> -Archie
>
> -- 
> Archie L. Cobbs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-dev/attachments/20250218/03983ce2/attachment-0001.htm>