mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
works fine for k2, doesn't work for k1 GitOrigin-RevId: be3a4505fcd4989bcc4141b06083179c0500bdba
8 lines
139 B
Java
8 lines
139 B
Java
import org.jetbrains.annotations.NotNull;
|
|
|
|
public interface JavaInterface {
|
|
default void foo(@NotNull String s) {
|
|
}
|
|
}
|
|
|
|
// IGNORE_K1 |