openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/unimplement/beforeSealedParent.java

// "Unimplement" "true-preview"
sealed class A permits B {

}

final class B extends <caret>A {}