{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// `'static`). But frequently they will not, in which case we
    /// directly to lifetimes that the user has a name for (e.g.,
    /// have to find some way to identify the lifetime to the user. To