{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// appear in the closure's signature or on its field types. These
/// requirements that we have inferred between the free regions that
/// requirements are then verified and proved by the closure's