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

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

sealed class B extends <caret>A permits C {}

final class C extends B {}