{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// The bodies of all promoteds. As promoteds have a completely separate CFG
    body: &'a Body<'tcx>,
    /// recursing into them may corrupt your data structures if you're not careful.