{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// So, for example, if we have the type `T` and we have in scope that
///
/// `T: 'a` and `T: 'b`, then the verify bound might be: