{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"let"}]}
                let _ = write!(s, "u{}{}", name.len(), name);
                let name = encode_ty_name(tcx, def_id);
                s.push_str(&encode_args(tcx, args, def_id, false, dict, options));