typetools / typetools/checker-framework
Warn about code that triggers Javac bug: type annotations on anonymous classes cause broken bytecode
Open
Nobody has claimed this yet.
enhancement
good first issue
- Dominant language
- Java
- Stars
- 1.1k
- Forks
- 440
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 134
Description
A javac bug generates broken bytecode for anonymous inner classes that are annotated with a type annotation.
See:
https://bugs.openjdk.java.net/browse/JDK-8059531
https://bugs.openjdk.java.net/browse/JDK-8177316
The Checker Framework should issue a warning if a user writes such a bug.
(@lazaroclapp and @msridhar brought this to our attention on PR #1918.)
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Begin with PR #1918 and the linked OpenJDK bug reports, then trace the Checker Framework code that processes type annotations on anonymous classes. Add coverage for the warning case and verify that the warning is emitted without breaking valid cases.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100