{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
        /// about the sub-obligations - they don't provide any additional
        /// no region obligations that need to be tracked, it's fine to forget
        /// information. However, we do *not* discard any obligations when we