openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/extendSealedClass/afterSubinterface.java

// "Make 'Child' extend 'Parent'" "true-preview"
sealed interface Parent permits Child {}

non-sealed interface Child extends Parent {}