As it stands, some tools still rely on these annotations which are now vended by a 3rd party. Some tools interpret the annotations differently than others, or use their own similar-yet-different annotations. Lacking a standard, it's impossible to have reliable analysis across multiple projects.
Java 8’s new Optional type is worthless
W. Brian Gourlie

Agreed! However they have made it possible for 3rd parties to extend the Java typesystem. The Checker Framework is particularly cool and might be what you’re asking for:

Unfortunately it doesn’t play nicely with some other modern Java essentials such as Lombok.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.