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?
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?