Delete WherePredicate::Eq and PredicateEq

src/generics.rs

@@ -501,9 +501,6 @@ ast_enum_of_structs! {
 
         /// A lifetime predicate in a `where` clause: `'a: 'b + 'c`.
         Lifetime(PredicateLifetime),
-
-        /// An equality predicate in a `where` clause (unsupported).
-        Eq(PredicateEq),
     }
 }
 
@@ -531,16 +528,6 @@ ast_struct! {
     }
 }
 
-ast_struct! {
-    /// An equality predicate in a `where` clause (unsupported).
-    #[cfg_attr(doc_cfg, doc(cfg(any(feature = "full", feature = "derive"))))]
-    pub struct PredicateEq {
-        pub lhs_ty: Type,
-        pub eq_token: Token![=],
-        pub rhs_ty: Type,
-    }
-}
-
 #[cfg(feature = "parsing")]
 pub mod parsing {
     use super::*;
@@ -1229,13 +1216,4 @@ mod printing {
             self.bounds.to_tokens(tokens);
         }
     }
-
-    #[cfg_attr(doc_cfg, doc(cfg(feature = "printing")))]
-    impl ToTokens for PredicateEq {
-        fn to_tokens(&self, tokens: &mut TokenStream) {
-            self.lhs_ty.to_tokens(tokens);
-            self.eq_token.to_tokens(tokens);
-            self.rhs_ty.to_tokens(tokens);
-        }
-    }
 }

src/lib.rs

@@ -369,9 +369,9 @@ pub use crate::file::File;
 mod generics;
 #[cfg(any(feature = "full", feature = "derive"))]
 pub use crate::generics::{
-    BoundLifetimes, ConstParam, GenericParam, Generics, LifetimeDef, PredicateEq,
-    PredicateLifetime, PredicateType, TraitBound, TraitBoundModifier, TypeParam, TypeParamBound,
-    WhereClause, WherePredicate,
+    BoundLifetimes, ConstParam, GenericParam, Generics, LifetimeDef, PredicateLifetime,
+    PredicateType, TraitBound, TraitBoundModifier, TypeParam, TypeParamBound, WhereClause,
+    WherePredicate,
 };
 #[cfg(all(any(feature = "full", feature = "derive"), feature = "printing"))]
 pub use crate::generics::{ImplGenerics, Turbofish, TypeGenerics};

tests/test_generics.rs

@@ -264,7 +264,7 @@ fn test_fn_precedence_in_where_clause() {
 
     let predicate = match &where_clause.predicates[0] {
         WherePredicate::Type(pred) => pred,
-        _ => panic!("wrong predicate kind"),
+        WherePredicate::Lifetime(_) => panic!("wrong predicate kind"),
     };
 
     assert_eq!(predicate.bounds.len(), 2, "{:#?}", predicate.bounds);