{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// How the lifetime was introduced, to have the correct space and comma.
    pub span: Span,
    pub kind: MissingLifetimeKind,