8000 "identifier not found" error in `@LTEqLengthOf` · Issue #7093 · typetools/checker-framework · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

"identifier not found" error in @LTEqLengthOf #7093

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
mernst opened this issue Jun 6, 2025 · 1 comment
Open

"identifier not found" error in @LTEqLengthOf #7093

mernst opened this issue Jun 6, 2025 · 1 comment
Labels
bug False Positive (false warning or imprecision)

Comments

@mernst
Copy link
Member
mernst commented Jun 6, 2025

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
Copy link
Contributor
kelloggm commented Jun 6, 2025

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.

@kelloggm kelloggm mentioned this issue Jun 6, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug False Positive (false warning or imprecision)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mernst @kelloggm
0