Deprecated container annotations

[Jesper Steen Møller]

Hi List

I'm implementing repeated annotations in the Eclipse Java compiler, and have come across a question as to the interpretation of the deprecation of the containing annotation. 

As I read the changes in 9.6.3.6, the following code:

@java.lang.annotation.Repeatable(FooContainer.class)
@interface Foo {
}

@Deprecated @interface FooContainer {
    Foo[] value();
}

@Foo @Foo public class Y {
}


... should this give a deprecation warning near the repeated usage of @Foo (which causes the implied declaration of @FooContainer), if compiling with -Xlint. Is this correct?

-Jesper