mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-17 20:11:25 +07:00
unrelated defaults false negative (IDEA-144518)
This commit is contained in:
@@ -12,3 +12,12 @@ interface F {
|
||||
}
|
||||
|
||||
interface <error descr="G inherits abstract and default for foo() from types E and F">G</error> extends E, F {}
|
||||
|
||||
interface H {
|
||||
default void m() {}
|
||||
}
|
||||
interface K {
|
||||
default void m() {}
|
||||
}
|
||||
class L implements H {}
|
||||
class <error descr="M inherits unrelated defaults for m() from types H and K">M</error> extends L implements H, K {}
|
||||
Reference in New Issue
Block a user