Hacker News new | ask | show | jobs
by hyperpallium 3116 days ago
Semantically, is that different from using a reference variable without first checking it !=null?

Also, isn't there a static code analysis tool that checks at compile-time that reference variables annotated as @non_nullable can never be null?