{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"TermKind::Ty(ty)"}]}
            TermKind::Ty(ty) => write!(f, "Term::Ty({ty:?})"),
        match self.kind() {
            TermKind::Const(ct) => write!(f, "Term::Const({ct:?})"),