• But in Java all types are nullable... right?
• What is "unspecified nullness" in JSpecify
• Behavior may vary
• How to think about unspecified nullness