"identifier not found" error in `@LTEqLengthOf`

[mernst]

To reproduce, you must use Java 8.

git clone https://github.com/Damika-Anupama/Email-Client.git --branch index-checker-bug
cd Email-Client
mvn -e -B verify

[kelloggm]

Here is a Specimin-minimized version of the failing test: https://github.com/kelloggm/cf-7093.

To test it, run the run.sh script. The script assumes that $CHECKERFRAMEWORK points to a built copy of the Checker Framework. I tested it with CF 3.49.4 and Java 8.

The original test repository, according to scc is 1321 NCNB LoC; the Specimin-minimized version is 167.

[mernst]

This problem occurs under Java 8 and 11. It does not occur under Java 17 or 21. Since it is only a problem on very old versions of the JDK, I propose that we do not fix it.