mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
SAM: skip allowed static methods as they are not supposed to be overridden (IDEA-101403)
This commit is contained in:
@@ -0,0 +1,11 @@
|
||||
public interface Nat {
|
||||
interface Nil extends Nat {}
|
||||
}
|
||||
|
||||
interface Inc extends Nat {
|
||||
Nat dec();
|
||||
|
||||
static Inc make(Nat dec) {
|
||||
return () -> dec;
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user