{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"recursion_depths:"}]}
    recursion_depths: &mut DefIdMap<usize>,
    state: &SharedState<'tcx>,
    recursion_limit: Limit,