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