docs: def raise_for_redefined_annotation(self, line: str, position: int, annotation: str) -> None:
          """Raise an exception if the given annotation is already defined.
  
          :raises: RedefinedAnnotationError
          """
          if self.disallow_redefinition and self.has_annotation(annotation):
              raise RedefinedAnnotationError(self.get_line_number(), line, position, annotation)