@@ -682,19 +682,20 @@ pub fn eq_generics(l: &Generics, r: &Generics) -> bool {
682
682
683
683
pub fn eq_where_predicate ( l : & WherePredicate , r : & WherePredicate ) -> bool {
684
684
use WherePredicateKind :: * ;
685
- match ( & l. kind , & r. kind ) {
686
- ( BoundPredicate ( l) , BoundPredicate ( r) ) => {
687
- over ( & l. bound_generic_params , & r. bound_generic_params , |l, r| {
688
- eq_generic_param ( l, r)
689
- } ) && eq_ty ( & l. bounded_ty , & r. bounded_ty )
690
- && over ( & l. bounds , & r. bounds , eq_generic_bound)
691
- } ,
692
- ( RegionPredicate ( l) , RegionPredicate ( r) ) => {
693
- eq_id ( l. lifetime . ident , r. lifetime . ident ) && over ( & l. bounds , & r. bounds , eq_generic_bound)
694
- } ,
695
- ( EqPredicate ( l) , EqPredicate ( r) ) => eq_ty ( & l. lhs_ty , & r. lhs_ty ) && eq_ty ( & l. rhs_ty , & r. rhs_ty ) ,
696
- _ => false ,
697
- }
685
+ over ( & l. attrs , & r. attrs , eq_attr)
686
+ && match ( & l. kind , & r. kind ) {
687
+ ( BoundPredicate ( l) , BoundPredicate ( r) ) => {
688
+ over ( & l. bound_generic_params , & r. bound_generic_params , |l, r| {
689
+ eq_generic_param ( l, r)
690
+ } ) && eq_ty ( & l. bounded_ty , & r. bounded_ty )
691
+ && over ( & l. bounds , & r. bounds , eq_generic_bound)
692
+ } ,
693
+ ( RegionPredicate ( l) , RegionPredicate ( r) ) => {
694
+ eq_id ( l. lifetime . ident , r. lifetime . ident ) && over ( & l. bounds , & r. bounds , eq_generic_bound)
695
+ } ,
696
+ ( EqPredicate ( l) , EqPredicate ( r) ) => eq_ty ( & l. lhs_ty , & r. lhs_ty ) && eq_ty ( & l. rhs_ty , & r. rhs_ty ) ,
697
+ _ => false ,
698
+ }
698
699
}
699
700
700
701
pub fn eq_use_tree ( l : & UseTree , r : & UseTree ) -> bool {
0 commit comments