framework/tests/all-systems/Issue395.java

// Test case for Issue 395:
// https://github.com/typetools/checker-framework/issues/395

import java.util.ArrayList;

public class Issue395 {

  Object[] testMethod() {
    return new Object[] {new ArrayList<>()};
  }
}