{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"TypeError::Mismatch"}]}
            TypeError::Mismatch => "types differ".into(),
            TypeError::CyclicConst(_) => "encountered a self-referencing constant".into(),
            TypeError::PolarityMismatch(values) => {