checker/tests/nullness/Imports2.java

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