{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
        /// Span of the `#[rustc_default_body_unstable(...)]` attribute
        stability: DefaultBodyStability,
        span: Span,