With Java 8, annotations can be written not only on declarations, but on any use of a type such as types in declarations, generics, and casts. This article introduces the new type annotation syntax and practical tools to boost productivity and build higher-quality software.