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