{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"span:"}]}
        span: Span,
        /// Span of the `#[rustc_const_stable(...)]` or `#[rustc_const_unstable(...)]` attribute
    },