The below code declares a sealed class without any permits clause. It should throw a compilation error. However, the compilation goes through successfully.

final class Child extends Parent {
}

sealed class Parent {
    public int check() { return 1; }
}