{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.resolve_anon_const(ct, AnonConstKind::ConstArg(IsRepeatExpr::No))
            _ => visit::walk_ty(self, ty),