This is Part II of our series of posts on retrofitting null safety onto existing programming languages.
In Part I of this series, we introduced NullAway, a pluggable type system for nullability for Java, which can prevent NullPointerException (NPE) c...
