{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"TermKind::Ty(ty)"}]}
                TermKind::Ty(ty) => s.push_str(&encode_ty(tcx, ty, dict, options)),
            match projection.term.kind() {
                TermKind::Const(c) => s.push_str(&encode_const(