{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"TermKind::Type(t)"}]}
            TermKind::Type(t) => t.visit(visitor),
        match self {
            TermKind::Const(c) => c.visit(visitor),