{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"res.push_str(chunk);"}]}
        res.push_str(chunk);
    for chunk in ast.split("# [pretty_doc_comment_placeholder_workaround] ") {
        if let Some(doc) = docs.next() {