Open
Description
@CheckReturnValue
currently only targets ElementType.METHOD
. IDEs, however, also consider a type-level @CheckReturnValue
to express that all methods' return values should be checked. I would appreciate it if our annotation could be used that way, too.
It would also make sense to allow the usage of the annotation on constructors and packages, the latter implying all methods in the package having to be checked.