{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"match"}]}
            match projection.term.kind() {
            s.push_str(&encode_args(tcx, projection.args, projection.def_id, true, dict, options));
                TermKind::Ty(ty) => s.push_str(&encode_ty(tcx, ty, dict, options)),