@@ -87,21 +87,21 @@ match v {
87
87
[1 , subarray @ .. , 3 ] => assert_eq! (subarray , [2 ]), // typeof(subarray) == [i32; 1]
88
88
[5 , subarray @ .. ] => has_type :: <[i32 ; 2 ]>(subarray ), // typeof(subarray) == [i32; 2]
89
89
[subarray @ .. , 6 ] => has_type :: <[i32 , 2 ]>(subarray ), // typeof(subarray) == [i32; 2]
90
- [x , .. , y ] => has_type :: <[ i32 , 1 ] >(x ), // typeof(subarray) == [i32; 1]
90
+ [x , .. , y ] => has_type :: <i32 >(x ),
91
91
[.. ] => {},
92
92
}
93
93
match v {
94
94
[1 , ref subarray @ .. , 3 ] => assert_eq! (subarray , [2 ]), // typeof(subarray) == &[i32; 1]
95
95
[5 , ref subarray @ .. ] => has_type :: <& [i32 ; 2 ]>(subarray ), // typeof(subarray) == &[i32; 2]
96
96
[ref subarray @ .. , 6 ] => has_type :: <& [i32 , 2 ]>(subarray ), // typeof(subarray) == &[i32; 2]
97
- [x , .. , y ] => has_type :: <& [ i32 , 1 ] >(x ), // typeof(subarray) == &[i32; 1]
97
+ [x , .. , y ] => has_type :: <& i32 >(x ),
98
98
[.. ] => {},
99
99
}
100
100
match & mut v {
101
101
[1 , subarray @ .. , 3 ] => assert_eq! (subarray , [2 ]), // typeof(subarray) == &mut [i32; 1]
102
102
[5 , subarray @ .. ] => has_type :: <& mut [i32 ; 2 ]>(subarray ), // typeof(subarray) == &mut [i32; 2]
103
103
[subarray @ .. , 6 ] => has_type :: <& mut [i32 , 2 ]>(subarray ), // typeof(subarray) == &mut [i32; 2]
104
- [x , .. , y ] => has_type :: <& mut [ i32 , 1 ] >(x ), // typeof(subarray) == &mut [i32; 1]
104
+ [x , .. , y ] => has_type :: <& mut i32 >(x ),
105
105
[.. ] => {},
106
106
}
107
107
```
0 commit comments