{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// empty lifetime with a universe -- the idea is that we don't
    /// Empty lifetime is for data that is never accessed. We tag the
    /// want `exists<'a> { forall<'b> { 'b: 'a } }` to be satisfiable.