@@ -243,9 +243,9 @@ where
243
243
type ArrayLength = typenum:: U < N > ;
244
244
}
245
245
246
- impl < T > IntoArrayLength for T
246
+ impl < N > IntoArrayLength for N
247
247
where
248
- T : ArrayLength ,
248
+ N : ArrayLength ,
249
249
{
250
250
type ArrayLength = Self ;
251
251
}
@@ -531,7 +531,6 @@ where
531
531
GenericArray < B , Self :: Length > :
532
532
GenericSequence < B , Length = Self :: Length > + MappedGenericSequence < B , U > ,
533
533
Self : MappedGenericSequence < T , U > ,
534
- Self :: Length : ArrayLength ,
535
534
F : FnMut ( B , Self :: Item ) -> U ,
536
535
{
537
536
unsafe {
@@ -558,7 +557,6 @@ where
558
557
where
559
558
Lhs : GenericSequence < B , Length = Self :: Length > + MappedGenericSequence < B , U > ,
560
559
Self : MappedGenericSequence < T , U > ,
561
- Self :: Length : ArrayLength ,
562
560
F : FnMut ( Lhs :: Item , Self :: Item ) -> U ,
563
561
{
564
562
unsafe {
@@ -594,7 +592,6 @@ where
594
592
{
595
593
fn map < U , F > ( self , mut f : F ) -> MappedSequence < Self , T , U >
596
594
where
597
- Self :: Length : ArrayLength ,
598
595
Self : MappedGenericSequence < T , U > ,
599
596
F : FnMut ( T ) -> U ,
600
597
{
@@ -618,7 +615,6 @@ where
618
615
where
619
616
Self : MappedGenericSequence < T , U > ,
620
617
Rhs : MappedGenericSequence < B , U , Mapped = MappedSequence < Self , T , U > > ,
621
- Self :: Length : ArrayLength ,
622
618
Rhs : GenericSequence < B , Length = Self :: Length > ,
623
619
F : FnMut ( T , Rhs :: Item ) -> U ,
624
620
{
0 commit comments