@Override
          public void visitTypeDefinition(@NotNull GrTypeDefinition typeDefinition) {
            check(typeDefinition);
            super.visitTypeDefinition(typeDefinition);
          }
@Override
          public void visitTypeDefinition(@NotNull GrTypeDefinition typeDefinition)