checker/tests/nullness/ToArrayDiagnostics.java

import java.util.ArrayList;

public class ToArrayDiagnostics {

  String[] ok2(ArrayList<String> list) {
    return list.toArray(new String[] {});
  }

  String[] ok3(ArrayList<String> list) {
    return list.toArray(new String[0]);
  }

  String[] ok4(ArrayList<String> list) {
    return list.toArray(new String[list.size()]);
  }

  String[] warn1(ArrayList<String> list) {
    // :: error: (new.array)
    String[] resultArray = new String[list.size()];
    // :: error: (return) :: warning: (toarray.nullable.elements.not.newarray)
    return list.toArray(resultArray);
  }

  String[] warn2(ArrayList<String> list) {
    int size = list.size();
    // :: error: (new.array) :: error: (return) :: warning:
    // (toarray.nullable.elements.mismatched.size)
    return list.toArray(new String[size]);
  }
}