{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// obligations (otherwise, it's easy to fail to walk to a
    /// regionck to be sure that it has found *all* the region
    /// particular node-id).