GrPermitsClause

Reports permitted classes that do not extend the sealed base class.

Groovy does not require that all permitted classes should be available in compile-time and compiled along with base class. Compiler will not warn the user on dealing with non-extending permitted subclass, but it contradicts the nature of sealed classes.

Example:

class A permits B {} // reports B
  class B {}