@@ -666,8 +666,9 @@ impl HirEqInterExpr<'_, '_, '_> {
666666 }
667667
668668 match ( & left. kind , & right. kind ) {
669- ( ConstArgKind :: Tup ( l_t) , ConstArgKind :: Tup ( r_t) ) =>
670- l_t. len ( ) == r_t. len ( ) && l_t. iter ( ) . zip ( * r_t) . all ( |( l_c, r_c) | self . eq_const_arg ( * l_c, * r_c) ) ,
669+ ( ConstArgKind :: Tup ( l_t) , ConstArgKind :: Tup ( r_t) ) => {
670+ l_t. len ( ) == r_t. len ( ) && l_t. iter ( ) . zip ( * r_t) . all ( |( l_c, r_c) | self . eq_const_arg ( * l_c, * r_c) )
671+ } ,
671672 ( ConstArgKind :: Path ( l_p) , ConstArgKind :: Path ( r_p) ) => self . eq_qpath ( l_p, r_p) ,
672673 ( ConstArgKind :: Anon ( l_an) , ConstArgKind :: Anon ( r_an) ) => self . eq_body ( l_an. body , r_an. body ) ,
673674 ( ConstArgKind :: Infer ( ..) , ConstArgKind :: Infer ( ..) ) => true ,
@@ -684,23 +685,14 @@ impl HirEqInterExpr<'_, '_, '_> {
684685 . iter ( )
685686 . zip ( * args_b)
686687 . all ( |( arg_a, arg_b) | self . eq_const_arg ( arg_a, arg_b) )
687- }
688- ( ConstArgKind :: Tup ( args_a) , ConstArgKind :: Tup ( args_b) ) => {
689- args_a
690- . iter ( )
691- . zip ( * args_b)
692- . all ( |( arg_a, arg_b) | self . eq_const_arg ( arg_a, arg_b) )
693- } ,
694- ( ConstArgKind :: Literal ( kind_l) , ConstArgKind :: Literal ( kind_r) ) => {
695- kind_l == kind_r
696688 } ,
689+ ( ConstArgKind :: Literal ( kind_l) , ConstArgKind :: Literal ( kind_r) ) => kind_l == kind_r,
697690 // Use explicit match for now since ConstArg is undergoing flux.
698691 (
699692 ConstArgKind :: Path ( ..)
700693 | ConstArgKind :: Tup ( ..)
701694 | ConstArgKind :: Anon ( ..)
702695 | ConstArgKind :: TupleCall ( ..)
703- | ConstArgKind :: Tup ( ..)
704696 | ConstArgKind :: Infer ( ..)
705697 | ConstArgKind :: Struct ( ..)
706698 | ConstArgKind :: Literal ( ..)
@@ -1583,13 +1575,8 @@ impl<'a, 'tcx> SpanlessHash<'a, 'tcx> {
15831575 self . hash_const_arg ( arg) ;
15841576 }
15851577 } ,
1586- ConstArgKind :: Tup ( args) => {
1587- for arg in * args {
1588- self . hash_const_arg ( arg) ;
1589- }
1590- } ,
15911578 ConstArgKind :: Infer ( ..) | ConstArgKind :: Error ( ..) => { } ,
1592- ConstArgKind :: Literal ( lit) => lit. hash ( & mut self . s )
1579+ ConstArgKind :: Literal ( lit) => lit. hash ( & mut self . s ) ,
15931580 }
15941581 }
15951582
0 commit comments