dotty
dotty copied to clipboard
Recognize @NonNull annotation
Recognize the @NonNull annotation (in its multiple forms) in the Java interop layer, so we can do a more precise translation of types coming from Java.