[Checkers] Javac Bug Reports
mahmood at MIT.EDU
Sat May 17 15:43:50 EDT 2008
I just opened two bug reports with Javac for the following points:
1. Request that either DeclaredType.asElement return TypeElement
instead of Element, or specify/document the possible return types.
This either eliminates a lot of casts in our code, or helps us
understand the specification better.
2. Have Element concrete classes (*Symbol) actually override
Object.equals() to conform to Element interface specification.
We get many assertions failure in Flow because it expect two VarSymbol
to be equals but not.
More information about the checkers