java/java-tests/testData/refactoring/inlineSuperClass/interfaceHierarchyWithSubstitution/before/Super.java

interface Super<T> extends Int<T> {
}
interface Int<T> {
}