checker/tests/nullness-safedefaultssourcecode/Issue3449.java

// Test case for https://tinyurl.com/cfissue/3449

import org.checkerframework.framework.qual.AnnotatedFor;

@AnnotatedFor("nullness")
public class Issue3449 {

  int length;
  Object[] objs;

  public Issue3449(Object... args) {
    length = args.length;
    objs = args;
  }
}