On 6/10/2019 12:54 PM, Joe Darcy wrote:
It is fair for the top-level interfaces to more fully discuss type vs declaration annotations. Such top-level discussion is a complement to introducing a statement of the type vs declaration distinction in the method-as-implemented/overridden-in-this-paricular-type since the latter provides better discoverability for developers.
Exactly. The annotations arena is complementary all the way up: the spec of the Java language is a complement to (foundation for) the spec of the java.* API, and the spec of a package should complement (motivate) the spec of a class, and the top-level spec of a class should complement (set up) a member-level spec.
Alex
