{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"body:"}]}
    body: &'a Body<'tcx>,
    last_span: Span,
    /// The bodies of all promoteds. As promoteds have a completely separate CFG