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