checker/tests/nullness/Issue580.java

// Test case for issue #580: https://github.com/typetools/checker-framework/issues/580

abstract class InitCheckAssertionFailure {
  public static <F extends Enum<F>> void noneOf(F[] array) {
    Enum<?>[] universe = array;
    // Accessing universe on this line causes the error.
    int len = universe.length;
  }
}