{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
        /// see `EvaluatedToOkModuloRegions` - we don't know which
        /// information. However, we do *not* discard any obligations when we
        /// sub-obligations may introduce region constraints, so we keep them