{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"),"}]}
                                            ),
                                                ast_id_map.get(diag.ast_id).syntax_node_ptr(),
                                            cfg: diag.cfg.clone(),