ArrayArgs.java

import checkers.nullness.quals.*;
@checkers.quals.DefaultQualifier("Nullable")
public class ArrayArgs {

    public void test(@NonNull String[] args) {
    }

    public void test(Class<? extends java.lang.annotation.Annotation> cls) {
    }

    public void test() {
        String[] s = new String[] { null, null, null };
        //:: (argument.type.incompatible)
        test(s);
        test(NonNull.class);
    }
}