{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// User type annotations are shared between the main MIR and the MIR of
    promoted: &'a IndexSlice<Promoted, Body<'tcx>>,
    /// all of the promoted items.