mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 04:45:04 +07:00
GitOrigin-RevId: 295ac3cb605800b005784674c2bac20f0de951ff
11 lines
121 B
Java
11 lines
121 B
Java
interface I {
|
|
default void f() {}
|
|
}
|
|
|
|
interface A extends I {
|
|
@Override
|
|
default void f() {
|
|
I.super.f();
|
|
|
|
}
|
|
} |