Null-Restricted and Nullable Types for JavaThe proposal for Null-Restricted and Nullable Types in Java aims to add markers to type uses to indicate nullability, introducing nullness conversions for loosening and narrowing constraints.