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