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