{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"Term::Const(c)"}]}
                Term::Const(c) => {
                Term::Ty(ty) => self.visit_ty(ty),
                    self.resolve_anon_const(c, AnonConstKind::ConstArg(IsRepeatExpr::No))