{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
        /// no region obligations that need to be tracked, it's fine to forget
        /// evaluation. Since a result of `EvaluatedToOk` means that there were
        /// about the sub-obligations - they don't provide any additional