@@ -1097,7 +1097,7 @@ fn external_generic_args(
10971097 substs : SubstsRef < ' _ > ,
10981098) -> GenericArgs {
10991099 let mut skip_self = has_self;
1100- let mut first_ty_sty = None ;
1100+ let mut ty_sty = None ;
11011101 let args: Vec < _ > = substs. iter ( ) . filter_map ( |kind| match kind. unpack ( ) {
11021102 UnpackedKind :: Lifetime ( lt) => {
11031103 lt. clean ( cx) . and_then ( |lt| Some ( GenericArg :: Lifetime ( lt) ) )
@@ -1107,7 +1107,7 @@ fn external_generic_args(
11071107 None
11081108 }
11091109 UnpackedKind :: Type ( ty) => {
1110- first_ty_sty = Some ( & ty. sty ) ;
1110+ ty_sty = Some ( & ty. sty ) ;
11111111 Some ( GenericArg :: Type ( ty. clean ( cx) ) )
11121112 }
11131113 UnpackedKind :: Const ( ct) => Some ( GenericArg :: Const ( ct. clean ( cx) ) ) ,
@@ -1116,8 +1116,8 @@ fn external_generic_args(
11161116 match trait_did {
11171117 // Attempt to sugar an external path like Fn<(A, B,), C> to Fn(A, B) -> C
11181118 Some ( did) if cx. tcx . lang_items ( ) . fn_trait_kind ( did) . is_some ( ) => {
1119- assert ! ( first_ty_sty . is_some( ) ) ;
1120- let inputs = match first_ty_sty {
1119+ assert ! ( ty_sty . is_some( ) ) ;
1120+ let inputs = match ty_sty {
11211121 Some ( ty:: Tuple ( ref tys) ) => tys. iter ( ) . map ( |t| t. clean ( cx) ) . collect ( ) ,
11221122 _ => return GenericArgs :: AngleBracketed { args, bindings } ,
11231123 } ;
0 commit comments