{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// constraints, at least at present. During type checking, the
/// These sorts of constraints are handled differently than ordinary
/// `InferCtxt::process_registered_region_obligations` method will