// 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;
    }
}