JLS specifies what constitutes a valid annotation type. javac does not permit creating a class file that would be an invalid annotation type, but class files can be constructed with other tools that are valid from the perspective of bytecode verifier and later fail during accessing of annotations using those types. Depending on the sort of annotation type invalidity, such annotations experience different failures at different times. The test will capture this behavior to enable further discussion about whether some of such failure modes can be changed.