Searching in compiler/testData/diagnostics/tests/testsWithJava17/sealedClasses