{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"CurrentGoalKind::Misc"}]}
            CurrentGoalKind::Misc | CurrentGoalKind::CoinductiveTrait => {
            CurrentGoalKind::NormalizesTo => {}
                let num_non_region_vars = canonical