{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
/// described on the module comment. The final constraints are emitted
/// obligation into a series of `'a: 'b` constraints and "verify"s, as
/// via a "delegate" of type `D` -- this is usually the `infcx`, which