What requirement must be met for a sealed type to omit its permits clause entirely?public sealed interface Op { /* no permits clause */ }
