//non-compiled with javac: Compilable with Java15
package com.puppycrawl.tools.checkstyle.grammar.java15;

public non-sealed class InputTopLevelNonSealed extends OtherClass {
}

sealed class OtherClass {
}

