{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"body:"}]}
    body: &mut Body<'tcx>,
    infcx: &BorrowckInferCtxt<'tcx>,
    promoted: &mut IndexSlice<Promoted, Body<'tcx>>,