{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// bounds -- e.g., if `'X` is the union of two free lifetimes,
    /// The idea then is to lower the `T: 'X` constraint into multiple
    /// `'1` and `'2`, then we would create `T: '1` and `T: '2`.