{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"TermKind::Ty(ty)"}]}
            TermKind::Ty(ty) => ty.into(),
        match self.kind() {
            TermKind::Const(c) => c.into(),