{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// have to find some way to identify the lifetime to the user. To
    /// `'static`). But frequently they will not, in which case we
    /// that end, this function takes a "diagnostic" so that it can