However, at some stage the code would need to actually try reading the @Reatable annotation to determine the containing annotation type
No, that's the nice thing about this implementation. Our existing code will continue to work, as repeated annotations will be transparently wrapped by the compiler into an instance of the container annotation.
|