MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-17 15:50:53 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-highlighting] Default method overrides a member of 'java.lang.Object': false negative

Browse Source 
IDEA-306394

GitOrigin-RevId: 3a5938ae9de0d2d5e0e7c713fa86f4b672fec0d3
This commit is contained in:
Andrey Cherkasov
2022-11-28 16:49:47 +04:00
committed by intellij-monorepo-bot
parent 7e0d6a7f1a
commit e7f7a140b7
2 changed files with 24 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/interfaceMethods/DefaultMethodOverrideEquivalentObject.java
View File

@@ -3,4 +3,12 @@ interface A {
return "";
}
default void finalize() throws Throwable { }
boolean equals(Object o);
}
interface B extends A {
default boolean <error descr="Default method 'equals' overrides a member of 'java.lang.Object'">equals</error>(Object o) {
return true;
}
}