JEP Draft: Null-Restricted Value Class Types (Preview)
openjdk.org