{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"DefKind::Const"}]}
            DefKind::Const => ty::AliasTermKind::FreeConst,
            DefKind::TyAlias => ty::AliasTermKind::FreeTy,
            DefKind::AnonConst | DefKind::Ctor(_, CtorKind::Const) => {