{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":")"}]}
            ) if assoc_ty_a == assoc_ty_b => zip_substs(self, None, sub_a, sub_b)?,
                TyKind::AssociatedType(assoc_ty_b, sub_b),
            (TyKind::Tuple(arity_a, sub_a), TyKind::Tuple(arity_b, sub_b))