허용된 direct subtype이 다음 단계의 개방성을 다시 선언한다.
더 상속하지 않는다
암묵적으로 final이다
허용 subtype을 다시 제한한다
해당 branch를 다시 연다
핵심: permits 밖 direct subtype은 compile 단계에서 거부된다.