mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 10:58:45 +07:00
GitOrigin-RevId: 4ffc252043c5c1532ec123c146e199e5ce950328
9 lines
165 B
Java
9 lines
165 B
Java
interface I {
|
|
void foo(int i);
|
|
}
|
|
|
|
class A implements I {
|
|
@Override
|
|
public void foo(int <warning descr="Parameter 'p' is never used"><caret>p</warning>) {
|
|
}
|
|
} |