{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"mappings::extract_all_mapping_info_from_mir(tcx,"}]}
        mappings::extract_all_mapping_info_from_mir(tcx, mir_body, &hir_info, &graph);
    let extracted_mappings =