mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 02:24:00 +07:00
GitOrigin-RevId: a17a5f0f3878b9baf211737a614d1aa1a5103d31
15 lines
439 B
Java
15 lines
439 B
Java
interface TypeA {
|
|
void test(String... arg);
|
|
}
|
|
|
|
interface TypeB extends TypeA {
|
|
void test(String[] arg);
|
|
}
|
|
|
|
class Test {
|
|
void foo(final TypeB typeB) {
|
|
typeB.test<error descr="Expected 1 argument but found 2">("a", "b")</error>;
|
|
typeB.test<error descr="'test(java.lang.String[])' in 'TypeB' cannot be applied to '(java.lang.String)'">("a")</error>;
|
|
typeB.test<error descr="Expected 1 argument but found 0">()</error>;
|
|
}
|
|
} |