{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// The `DebruijnIndex` of late-bound lifetimes starts at `1` and
    /// Declares lifetimes, and each can be early-bound or late-bound.
    /// it should be shifted by the number of `Binder`s in between the