{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// obligation into a series of `'a: 'b` constraints and "verifys", as
/// The `TypeOutlives` struct has the job of "lowering" a `T: 'a`
/// described on the module comment. The final constraints are emitted