{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"renumber::renumber_mir(infcx,"}]}
    renumber::renumber_mir(infcx, body, promoted);
    // Replace all remaining regions with fresh inference variables.