Should the Type Annotations specification support feature X?
Perhaps it should. See section Other possible extensions to Java annotations in the Type Annotations Specification. Feel free to suggest modifications or additions to that section. Your edits should correct factual errors, or should be well-motivated by compelling use-cases that cannot be achieved by other means.
