...
Aspects that should be tested more thoroughly by SQE:
- target information for type annotations in anonymous classes and lambdas
- bytecode offset for local variables, cast, instanceof, etc.
- receiver parameter types and names
- access to annotated types (expand test/tools/javac/processing/model/type/BasicAnnoTests.java)