{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"body:"}]}
    body: &Body<'tcx>,
    universal_regions: UniversalRegions<'tcx>,
    promoted: &IndexSlice<Promoted, Body<'tcx>>,