mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 00:11:26 +07:00
push down: preserve @Override if keep abstract was selected (IDEA-155600)
This commit is contained in:
+18
@@ -0,0 +1,18 @@
|
||||
interface Test {
|
||||
/**
|
||||
* some javadoc
|
||||
*/
|
||||
default void foo() {
|
||||
System.out.println("I");
|
||||
}
|
||||
}
|
||||
|
||||
class C implements Test {
|
||||
/**
|
||||
* another javadoc
|
||||
*/
|
||||
@Override
|
||||
public void foo() {
|
||||
System.out.println("C");
|
||||
}
|
||||
}
|
||||
+16
@@ -0,0 +1,16 @@
|
||||
interface Test {
|
||||
/**
|
||||
* some javadoc
|
||||
*/
|
||||
void foo();
|
||||
}
|
||||
|
||||
class C implements Test {
|
||||
/**
|
||||
* another javadoc
|
||||
*/
|
||||
@Override
|
||||
public void foo() {
|
||||
System.out.println("C");
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user