{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"flatten_document_symbol(child,"}]}
            flatten_document_symbol(child, Some(symbol.name.clone()), url, res);
        for child in symbol.children.iter().flatten() {
        }