{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"crates_done:"}]}
            crates_done: crate_def_maps_done,
            crates_currently_indexing: crates_currently_indexing.values().cloned().collect(),
            crates_total: crate_def_maps_total,