kotlin-fork/idea/testData/refactoring/extractFunction/parameters/extractThis/javaSyntheticPropertyWithOverride.java

import org.jetbrains.annotations.NotNull;

interface Named {
    @NotNull
    String getName();
}

interface NamedEx extends Named {

}