{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":")"}]}
    ) -> &'tcx Steal<IndexVec<Promoted, Body<'tcx>>> {
        promoted: IndexVec<Promoted, Body<'tcx>>,
        self.arena.alloc(Steal::new(promoted))