{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
        /// information. However, we do *not* discard any obligations when we
        /// about the sub-obligations - they don't provide any additional
        /// see `EvaluatedToOkModuloRegions` - we don't know which