checker/tests/nullness/Imports1.java

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

public class Imports1 {
  void call() {
    java.util.Arrays.asList("m", 1);
  }
}