import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

public class Test {

  @Target(ElementType.TYPE_USE)
  @interface NonNull {
  }

  @NonNull int @NonNull[] @NonNull[] fiel1; // false-negative
  @NonNull int @NonNull [] @NonNull [] field2;
  //@NonNull int @NonNull ... field3; // non-compilable
  //@NonNull int @NonNull... field4; // non-compilable


  public void foo2(final char[] param) {
  }

  public void foo1(final char [] param) {
  }

  public void foo3(final char @NonNull[] param) { // false-negative
  }

  public void foo4(final char @NonNull [] param) {
  }

  void test4(String... param) { 
  }

  void test3(String ... param) { // violation on 8.32, no violation is #6707 fixes
  }

  void test2(String @NonNull... param) { // false-negative
  }

  void test1(String @NonNull ... param) { // violation on 8.32, no violation aft #6707
  }
}