{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"EvaluatedToOkModuloRegions,"}]}
    EvaluatedToOkModuloRegions,
    /// Evaluation successful, but there were unevaluated region obligations.
    /// Evaluation successful, but need to rerun because opaque types got