///nodynamiccopyright/
public class DeclaredUsingPreviewDeclarations {
    sealed class C {}
    non-sealed class C2 extends C {}
}