[junhyeong9812]

Overview

AttributeMethods marks attributes whose values may fail to resolve at runtime (Class, Class[], and enum types) so that canLoad() and validate() can probe them, allowing annotations that cannot be safely loaded to be filtered during scanning. Enum array attributes are missing from this check, while the adjacent nested-annotation detection already covers both the scalar and array cases.

Problem

An annotation attribute of an enum array type whose bytecode references a constant that no longer exists in the enum loaded at runtime (a binary-incompatible classpath, for example partially upgraded dependencies) is not probed, so the annotation passes canLoad():

• MergedAnnotations reports the annotation as present, while a single-enum attribute in the same situation is filtered with a warning log.
• asMap() returns a map containing the EnumConstantNotPresentException instance as the attribute value, silently corrupting AnnotationAttributes-based consumers.
• Typed access such as getEnumArray(..) or invoking the attribute on a synthesized annotation throws a raw EnumConstantNotPresentException.

The single-enum case has been covered since the check was introduced, so scalar and array attributes of the same type currently behave inconsistently.

Fix

Extend the canThrowTypeNotPresentException computation with type.isArray() && type.componentType().isEnum(), mirroring the nested-annotation idiom on the adjacent line. Such annotations are now filtered during scanning exactly like their single-enum counterparts: isPresent() returns false with a warning log, and typed access follows the regular missing-annotation contract instead of leaking the raw exception.

The probe adds the same kind of cost as the existing Class[] probing, and only for enum array attributes. The scope of this change is intentionally limited to enum arrays.

Tests cover the probe flag, canLoad() and validate() for both the failing and the healthy case, and a non-enum array guard verifying the new condition does not widen the probe to other array types.

[sbrannen]

Good catch! 👍

This has been merged into main.

Thanks

[junhyeong9812]

Thanks for the review and for merging this.