mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-17 20:11:25 +07:00
java: report error if repeatable annotation has Documented/Inherited annotation and its container doesn't (IDEA-256253)
GitOrigin-RevId: d6dab9a587b2e4d7663a5b0c44ecf65bba9113bd
This commit is contained in:
committed by
intellij-monorepo-bot
parent
325e50a864
commit
888b1151d6
@@ -58,4 +58,10 @@ class C8 {
|
||||
@Repeatable(<error descr="Container annotation 'AA9' does not have a default value for 'i'">AA9.class</error>) @interface A9 { }
|
||||
|
||||
@Repeatable(<error descr="Invalid container annotation 'java.lang.annotation.Annotation': no 'value' method declared">Annotation.class</error>)
|
||||
@interface A10 {}
|
||||
@interface A10 {}
|
||||
|
||||
@interface AA11 { A11[] value();}
|
||||
|
||||
@Documented
|
||||
@Repeatable(<error descr="Container annotation 'AA11' does not have required @Documented annotation">AA11.class</error>)
|
||||
@interface A11 {}
|
||||
Reference in New Issue
Block a user