mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
duplicated annotations
This commit is contained in:
+4
@@ -0,0 +1,4 @@
|
||||
class C{
|
||||
@<error descr="Duplicate annotation">Deprecated</error> @<error descr="Duplicate annotation">Deprecated</error>
|
||||
void foo(@<error descr="Duplicate annotation">Deprecated</error> @<error descr="Duplicate annotation">Deprecated</error> int x){}
|
||||
}
|
||||
Reference in New Issue
Block a user