The Checker Framework is a library that enhances Java’s type system in order to detect and prevent errors in Java programs.
The Checkers Framework references java.lang.annotation.ElementType.TYPE_USE which was added in JDK8. When I use it under …
java annotations javac checker-framework