docs: static DiagnosticPosition diagnosticPosition(DocTreePath path, VisitorState state) {
      int startPosition = getStartPosition(path.getLeaf(), state);
      Tree tree = path.getTreePath().getLeaf();
      return getDiagnosticPosition(startPosition, tree);
    }