haisi / valide / 31950983727

100%

push

github

test: make synthetic field coverage non-vacuous

Since JDK-8271623 javac omits an inner class's this$0 field when the
class never reads its enclosing instance, so Enclosing.Inner had no
synthetic field at all: the walker had nothing to skip, the test passed
for the wrong reason, and attributesOf's isSynthetic branch was never
taken. CI caught it as a 0.98 branch ratio.

Inner now reads Enclosing.secret, and the test asserts the synthetic
field is actually present before asserting it is ignored.

This went unnoticed locally because jacoco-maven-plugin defaults to
append=true, so a repeated `verify` without `clean` accumulates
execution data across runs and can report coverage no single run
achieves. Verify with `clean`.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

54 of 54 branches covered (100.0%)

Branch coverage included in aggregate %.

97 of 97 relevant lines covered (100.0%)

4.41 hits per line