ForbidAnnotationCheck