Contents: What are type annotations? Download Support and community Documentation Mailing lists Bug reports For the impatient: Download and use pluggable type-checkers now. What are type annotations? Java's declaration annotation syntax is useful but limited. As of Java 8, Java's type annotation syntax permits annotations to be written in more places, such as generic type arguments: List<@NonNull