import org.checkerframework.checker.nullness.qual.*;

@org.checkerframework.framework.qual.DefaultQualifier(Nullable.class)
public class ArrayArgs {

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

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

  public void test() {
    test(NonNull.class);

    String[] s1 = new String[] {null, null, null};
    // :: error: (argument)
    test(s1);
    String[] s2 = new String[] {"hello", null, "goodbye"};
    // :: error: (argument)
    test(s2);
    // :: error: (assignment)
    @NonNull String[] s3 = new String[] {"hello", null, "goodbye"};
    // :: error: (new.array)
    @NonNull String[] s4 = new String[3];

    // TODO: when issue 25 is fixed, the following is safe
    // and no error needs to be raised.
    String[] s5 = new String[] {"hello", "goodbye"};
    // :: error: (argument)
    test(s5);
    @NonNull String[] s6 = new String[] {"hello", "goodbye"};
    test(s6);
  }
}