{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"TermKind::Const(cnst)"}]}
            TermKind::Const(cnst) => cnst.internal(tables, tcx).into(),
            TermKind::Type(ty) => ty.internal(tables, tcx).into(),
        }