]> git.lizzy.rs Git - rust.git/blob - src/libcore/tests/slice.rs
test sort_unstable in Miri
[rust.git] / src / libcore / tests / slice.rs
1 use core::result::Result::{Ok, Err};
2
3 #[test]
4 fn test_position() {
5     let b = [1, 2, 3, 5, 5];
6     assert!(b.iter().position(|&v| v == 9) == None);
7     assert!(b.iter().position(|&v| v == 5) == Some(3));
8     assert!(b.iter().position(|&v| v == 3) == Some(2));
9     assert!(b.iter().position(|&v| v == 0) == None);
10 }
11
12 #[test]
13 fn test_rposition() {
14     let b = [1, 2, 3, 5, 5];
15     assert!(b.iter().rposition(|&v| v == 9) == None);
16     assert!(b.iter().rposition(|&v| v == 5) == Some(4));
17     assert!(b.iter().rposition(|&v| v == 3) == Some(2));
18     assert!(b.iter().rposition(|&v| v == 0) == None);
19 }
20
21 #[test]
22 fn test_binary_search() {
23     let b: [i32; 0] = [];
24     assert_eq!(b.binary_search(&5), Err(0));
25
26     let b = [4];
27     assert_eq!(b.binary_search(&3), Err(0));
28     assert_eq!(b.binary_search(&4), Ok(0));
29     assert_eq!(b.binary_search(&5), Err(1));
30
31     let b = [1, 2, 4, 6, 8, 9];
32     assert_eq!(b.binary_search(&5), Err(3));
33     assert_eq!(b.binary_search(&6), Ok(3));
34     assert_eq!(b.binary_search(&7), Err(4));
35     assert_eq!(b.binary_search(&8), Ok(4));
36
37     let b = [1, 2, 4, 5, 6, 8];
38     assert_eq!(b.binary_search(&9), Err(6));
39
40     let b = [1, 2, 4, 6, 7, 8, 9];
41     assert_eq!(b.binary_search(&6), Ok(3));
42     assert_eq!(b.binary_search(&5), Err(3));
43     assert_eq!(b.binary_search(&8), Ok(5));
44
45     let b = [1, 2, 4, 5, 6, 8, 9];
46     assert_eq!(b.binary_search(&7), Err(5));
47     assert_eq!(b.binary_search(&0), Err(0));
48
49     let b = [1, 3, 3, 3, 7];
50     assert_eq!(b.binary_search(&0), Err(0));
51     assert_eq!(b.binary_search(&1), Ok(0));
52     assert_eq!(b.binary_search(&2), Err(1));
53     assert!(match b.binary_search(&3) { Ok(1..=3) => true, _ => false });
54     assert!(match b.binary_search(&3) { Ok(1..=3) => true, _ => false });
55     assert_eq!(b.binary_search(&4), Err(4));
56     assert_eq!(b.binary_search(&5), Err(4));
57     assert_eq!(b.binary_search(&6), Err(4));
58     assert_eq!(b.binary_search(&7), Ok(4));
59     assert_eq!(b.binary_search(&8), Err(5));
60 }
61
62 #[test]
63 // Test implementation specific behavior when finding equivalent elements.
64 // It is ok to break this test but when you do a crater run is highly advisable.
65 fn test_binary_search_implementation_details() {
66     let b = [1, 1, 2, 2, 3, 3, 3];
67     assert_eq!(b.binary_search(&1), Ok(1));
68     assert_eq!(b.binary_search(&2), Ok(3));
69     assert_eq!(b.binary_search(&3), Ok(6));
70     let b = [1, 1, 1, 1, 1, 3, 3, 3, 3];
71     assert_eq!(b.binary_search(&1), Ok(4));
72     assert_eq!(b.binary_search(&3), Ok(8));
73     let b = [1, 1, 1, 1, 3, 3, 3, 3, 3];
74     assert_eq!(b.binary_search(&1), Ok(3));
75     assert_eq!(b.binary_search(&3), Ok(8));
76 }
77
78 #[test]
79 fn test_iterator_nth() {
80     let v: &[_] = &[0, 1, 2, 3, 4];
81     for i in 0..v.len() {
82         assert_eq!(v.iter().nth(i).unwrap(), &v[i]);
83     }
84     assert_eq!(v.iter().nth(v.len()), None);
85
86     let mut iter = v.iter();
87     assert_eq!(iter.nth(2).unwrap(), &v[2]);
88     assert_eq!(iter.nth(1).unwrap(), &v[4]);
89 }
90
91 #[test]
92 fn test_iterator_last() {
93     let v: &[_] = &[0, 1, 2, 3, 4];
94     assert_eq!(v.iter().last().unwrap(), &4);
95     assert_eq!(v[..1].iter().last().unwrap(), &0);
96 }
97
98 #[test]
99 fn test_iterator_count() {
100     let v: &[_] = &[0, 1, 2, 3, 4];
101     assert_eq!(v.iter().count(), 5);
102
103     let mut iter2 = v.iter();
104     iter2.next();
105     iter2.next();
106     assert_eq!(iter2.count(), 3);
107 }
108
109 #[test]
110 fn test_chunks_count() {
111     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
112     let c = v.chunks(3);
113     assert_eq!(c.count(), 2);
114
115     let v2: &[i32] = &[0, 1, 2, 3, 4];
116     let c2 = v2.chunks(2);
117     assert_eq!(c2.count(), 3);
118
119     let v3: &[i32] = &[];
120     let c3 = v3.chunks(2);
121     assert_eq!(c3.count(), 0);
122 }
123
124 #[test]
125 fn test_chunks_nth() {
126     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
127     let mut c = v.chunks(2);
128     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
129     assert_eq!(c.next().unwrap(), &[4, 5]);
130
131     let v2: &[i32] = &[0, 1, 2, 3, 4];
132     let mut c2 = v2.chunks(3);
133     assert_eq!(c2.nth(1).unwrap(), &[3, 4]);
134     assert_eq!(c2.next(), None);
135 }
136
137 #[test]
138 fn test_chunks_last() {
139     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
140     let c = v.chunks(2);
141     assert_eq!(c.last().unwrap()[1], 5);
142
143     let v2: &[i32] = &[0, 1, 2, 3, 4];
144     let c2 = v2.chunks(2);
145     assert_eq!(c2.last().unwrap()[0], 4);
146 }
147
148 #[test]
149 fn test_chunks_zip() {
150     let v1: &[i32] = &[0, 1, 2, 3, 4];
151     let v2: &[i32] = &[6, 7, 8, 9, 10];
152
153     let res = v1.chunks(2)
154         .zip(v2.chunks(2))
155         .map(|(a, b)| a.iter().sum::<i32>() + b.iter().sum::<i32>())
156         .collect::<Vec<_>>();
157     assert_eq!(res, vec![14, 22, 14]);
158 }
159
160 #[test]
161 fn test_chunks_mut_count() {
162     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
163     let c = v.chunks_mut(3);
164     assert_eq!(c.count(), 2);
165
166     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
167     let c2 = v2.chunks_mut(2);
168     assert_eq!(c2.count(), 3);
169
170     let v3: &mut [i32] = &mut [];
171     let c3 = v3.chunks_mut(2);
172     assert_eq!(c3.count(), 0);
173 }
174
175 #[test]
176 fn test_chunks_mut_nth() {
177     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
178     let mut c = v.chunks_mut(2);
179     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
180     assert_eq!(c.next().unwrap(), &[4, 5]);
181
182     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
183     let mut c2 = v2.chunks_mut(3);
184     assert_eq!(c2.nth(1).unwrap(), &[3, 4]);
185     assert_eq!(c2.next(), None);
186 }
187
188 #[test]
189 fn test_chunks_mut_last() {
190     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
191     let c = v.chunks_mut(2);
192     assert_eq!(c.last().unwrap(), &[4, 5]);
193
194     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
195     let c2 = v2.chunks_mut(2);
196     assert_eq!(c2.last().unwrap(), &[4]);
197 }
198
199 #[test]
200 fn test_chunks_mut_zip() {
201     let v1: &mut [i32] = &mut [0, 1, 2, 3, 4];
202     let v2: &[i32] = &[6, 7, 8, 9, 10];
203
204     for (a, b) in v1.chunks_mut(2).zip(v2.chunks(2)) {
205         let sum = b.iter().sum::<i32>();
206         for v in a {
207             *v += sum;
208         }
209     }
210     assert_eq!(v1, [13, 14, 19, 20, 14]);
211 }
212
213 #[test]
214 fn test_chunks_exact_count() {
215     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
216     let c = v.chunks_exact(3);
217     assert_eq!(c.count(), 2);
218
219     let v2: &[i32] = &[0, 1, 2, 3, 4];
220     let c2 = v2.chunks_exact(2);
221     assert_eq!(c2.count(), 2);
222
223     let v3: &[i32] = &[];
224     let c3 = v3.chunks_exact(2);
225     assert_eq!(c3.count(), 0);
226 }
227
228 #[test]
229 fn test_chunks_exact_nth() {
230     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
231     let mut c = v.chunks_exact(2);
232     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
233     assert_eq!(c.next().unwrap(), &[4, 5]);
234
235     let v2: &[i32] = &[0, 1, 2, 3, 4, 5, 6];
236     let mut c2 = v2.chunks_exact(3);
237     assert_eq!(c2.nth(1).unwrap(), &[3, 4, 5]);
238     assert_eq!(c2.next(), None);
239 }
240
241 #[test]
242 fn test_chunks_exact_last() {
243     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
244     let c = v.chunks_exact(2);
245     assert_eq!(c.last().unwrap(), &[4, 5]);
246
247     let v2: &[i32] = &[0, 1, 2, 3, 4];
248     let c2 = v2.chunks_exact(2);
249     assert_eq!(c2.last().unwrap(), &[2, 3]);
250 }
251
252 #[test]
253 fn test_chunks_exact_remainder() {
254     let v: &[i32] = &[0, 1, 2, 3, 4];
255     let c = v.chunks_exact(2);
256     assert_eq!(c.remainder(), &[4]);
257 }
258
259 #[test]
260 fn test_chunks_exact_zip() {
261     let v1: &[i32] = &[0, 1, 2, 3, 4];
262     let v2: &[i32] = &[6, 7, 8, 9, 10];
263
264     let res = v1.chunks_exact(2)
265         .zip(v2.chunks_exact(2))
266         .map(|(a, b)| a.iter().sum::<i32>() + b.iter().sum::<i32>())
267         .collect::<Vec<_>>();
268     assert_eq!(res, vec![14, 22]);
269 }
270
271 #[test]
272 fn test_chunks_exact_mut_count() {
273     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
274     let c = v.chunks_exact_mut(3);
275     assert_eq!(c.count(), 2);
276
277     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
278     let c2 = v2.chunks_exact_mut(2);
279     assert_eq!(c2.count(), 2);
280
281     let v3: &mut [i32] = &mut [];
282     let c3 = v3.chunks_exact_mut(2);
283     assert_eq!(c3.count(), 0);
284 }
285
286 #[test]
287 fn test_chunks_exact_mut_nth() {
288     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
289     let mut c = v.chunks_exact_mut(2);
290     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
291     assert_eq!(c.next().unwrap(), &[4, 5]);
292
293     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4, 5, 6];
294     let mut c2 = v2.chunks_exact_mut(3);
295     assert_eq!(c2.nth(1).unwrap(), &[3, 4, 5]);
296     assert_eq!(c2.next(), None);
297 }
298
299 #[test]
300 fn test_chunks_exact_mut_last() {
301     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
302     let c = v.chunks_exact_mut(2);
303     assert_eq!(c.last().unwrap(), &[4, 5]);
304
305     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
306     let c2 = v2.chunks_exact_mut(2);
307     assert_eq!(c2.last().unwrap(), &[2, 3]);
308 }
309
310 #[test]
311 fn test_chunks_exact_mut_remainder() {
312     let v: &mut [i32] = &mut [0, 1, 2, 3, 4];
313     let c = v.chunks_exact_mut(2);
314     assert_eq!(c.into_remainder(), &[4]);
315 }
316
317 #[test]
318 fn test_chunks_exact_mut_zip() {
319     let v1: &mut [i32] = &mut [0, 1, 2, 3, 4];
320     let v2: &[i32] = &[6, 7, 8, 9, 10];
321
322     for (a, b) in v1.chunks_exact_mut(2).zip(v2.chunks_exact(2)) {
323         let sum = b.iter().sum::<i32>();
324         for v in a {
325             *v += sum;
326         }
327     }
328     assert_eq!(v1, [13, 14, 19, 20, 4]);
329 }
330
331 #[test]
332 fn test_rchunks_count() {
333     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
334     let c = v.rchunks(3);
335     assert_eq!(c.count(), 2);
336
337     let v2: &[i32] = &[0, 1, 2, 3, 4];
338     let c2 = v2.rchunks(2);
339     assert_eq!(c2.count(), 3);
340
341     let v3: &[i32] = &[];
342     let c3 = v3.rchunks(2);
343     assert_eq!(c3.count(), 0);
344 }
345
346 #[test]
347 fn test_rchunks_nth() {
348     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
349     let mut c = v.rchunks(2);
350     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
351     assert_eq!(c.next().unwrap(), &[0, 1]);
352
353     let v2: &[i32] = &[0, 1, 2, 3, 4];
354     let mut c2 = v2.rchunks(3);
355     assert_eq!(c2.nth(1).unwrap(), &[0, 1]);
356     assert_eq!(c2.next(), None);
357 }
358
359 #[test]
360 fn test_rchunks_last() {
361     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
362     let c = v.rchunks(2);
363     assert_eq!(c.last().unwrap()[1], 1);
364
365     let v2: &[i32] = &[0, 1, 2, 3, 4];
366     let c2 = v2.rchunks(2);
367     assert_eq!(c2.last().unwrap()[0], 0);
368 }
369
370 #[test]
371 fn test_rchunks_zip() {
372     let v1: &[i32] = &[0, 1, 2, 3, 4];
373     let v2: &[i32] = &[6, 7, 8, 9, 10];
374
375     let res = v1.rchunks(2)
376         .zip(v2.rchunks(2))
377         .map(|(a, b)| a.iter().sum::<i32>() + b.iter().sum::<i32>())
378         .collect::<Vec<_>>();
379     assert_eq!(res, vec![26, 18, 6]);
380 }
381
382 #[test]
383 fn test_rchunks_mut_count() {
384     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
385     let c = v.rchunks_mut(3);
386     assert_eq!(c.count(), 2);
387
388     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
389     let c2 = v2.rchunks_mut(2);
390     assert_eq!(c2.count(), 3);
391
392     let v3: &mut [i32] = &mut [];
393     let c3 = v3.rchunks_mut(2);
394     assert_eq!(c3.count(), 0);
395 }
396
397 #[test]
398 fn test_rchunks_mut_nth() {
399     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
400     let mut c = v.rchunks_mut(2);
401     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
402     assert_eq!(c.next().unwrap(), &[0, 1]);
403
404     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
405     let mut c2 = v2.rchunks_mut(3);
406     assert_eq!(c2.nth(1).unwrap(), &[0, 1]);
407     assert_eq!(c2.next(), None);
408 }
409
410 #[test]
411 fn test_rchunks_mut_last() {
412     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
413     let c = v.rchunks_mut(2);
414     assert_eq!(c.last().unwrap(), &[0, 1]);
415
416     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
417     let c2 = v2.rchunks_mut(2);
418     assert_eq!(c2.last().unwrap(), &[0]);
419 }
420
421 #[test]
422 fn test_rchunks_mut_zip() {
423     let v1: &mut [i32] = &mut [0, 1, 2, 3, 4];
424     let v2: &[i32] = &[6, 7, 8, 9, 10];
425
426     for (a, b) in v1.rchunks_mut(2).zip(v2.rchunks(2)) {
427         let sum = b.iter().sum::<i32>();
428         for v in a {
429             *v += sum;
430         }
431     }
432     assert_eq!(v1, [6, 16, 17, 22, 23]);
433 }
434
435 #[test]
436 fn test_rchunks_exact_count() {
437     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
438     let c = v.rchunks_exact(3);
439     assert_eq!(c.count(), 2);
440
441     let v2: &[i32] = &[0, 1, 2, 3, 4];
442     let c2 = v2.rchunks_exact(2);
443     assert_eq!(c2.count(), 2);
444
445     let v3: &[i32] = &[];
446     let c3 = v3.rchunks_exact(2);
447     assert_eq!(c3.count(), 0);
448 }
449
450 #[test]
451 fn test_rchunks_exact_nth() {
452     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
453     let mut c = v.rchunks_exact(2);
454     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
455     assert_eq!(c.next().unwrap(), &[0, 1]);
456
457     let v2: &[i32] = &[0, 1, 2, 3, 4, 5, 6];
458     let mut c2 = v2.rchunks_exact(3);
459     assert_eq!(c2.nth(1).unwrap(), &[1, 2, 3]);
460     assert_eq!(c2.next(), None);
461 }
462
463 #[test]
464 fn test_rchunks_exact_last() {
465     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
466     let c = v.rchunks_exact(2);
467     assert_eq!(c.last().unwrap(), &[0, 1]);
468
469     let v2: &[i32] = &[0, 1, 2, 3, 4];
470     let c2 = v2.rchunks_exact(2);
471     assert_eq!(c2.last().unwrap(), &[1, 2]);
472 }
473
474 #[test]
475 fn test_rchunks_exact_remainder() {
476     let v: &[i32] = &[0, 1, 2, 3, 4];
477     let c = v.rchunks_exact(2);
478     assert_eq!(c.remainder(), &[0]);
479 }
480
481 #[test]
482 fn test_rchunks_exact_zip() {
483     let v1: &[i32] = &[0, 1, 2, 3, 4];
484     let v2: &[i32] = &[6, 7, 8, 9, 10];
485
486     let res = v1.rchunks_exact(2)
487         .zip(v2.rchunks_exact(2))
488         .map(|(a, b)| a.iter().sum::<i32>() + b.iter().sum::<i32>())
489         .collect::<Vec<_>>();
490     assert_eq!(res, vec![26, 18]);
491 }
492
493 #[test]
494 fn test_rchunks_exact_mut_count() {
495     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
496     let c = v.rchunks_exact_mut(3);
497     assert_eq!(c.count(), 2);
498
499     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
500     let c2 = v2.rchunks_exact_mut(2);
501     assert_eq!(c2.count(), 2);
502
503     let v3: &mut [i32] = &mut [];
504     let c3 = v3.rchunks_exact_mut(2);
505     assert_eq!(c3.count(), 0);
506 }
507
508 #[test]
509 fn test_rchunks_exact_mut_nth() {
510     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
511     let mut c = v.rchunks_exact_mut(2);
512     assert_eq!(c.nth(1).unwrap(), &[2, 3]);
513     assert_eq!(c.next().unwrap(), &[0, 1]);
514
515     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4, 5, 6];
516     let mut c2 = v2.rchunks_exact_mut(3);
517     assert_eq!(c2.nth(1).unwrap(), &[1, 2, 3]);
518     assert_eq!(c2.next(), None);
519 }
520
521 #[test]
522 fn test_rchunks_exact_mut_last() {
523     let v: &mut [i32] = &mut [0, 1, 2, 3, 4, 5];
524     let c = v.rchunks_exact_mut(2);
525     assert_eq!(c.last().unwrap(), &[0, 1]);
526
527     let v2: &mut [i32] = &mut [0, 1, 2, 3, 4];
528     let c2 = v2.rchunks_exact_mut(2);
529     assert_eq!(c2.last().unwrap(), &[1, 2]);
530 }
531
532 #[test]
533 fn test_rchunks_exact_mut_remainder() {
534     let v: &mut [i32] = &mut [0, 1, 2, 3, 4];
535     let c = v.rchunks_exact_mut(2);
536     assert_eq!(c.into_remainder(), &[0]);
537 }
538
539 #[test]
540 fn test_rchunks_exact_mut_zip() {
541     let v1: &mut [i32] = &mut [0, 1, 2, 3, 4];
542     let v2: &[i32] = &[6, 7, 8, 9, 10];
543
544     for (a, b) in v1.rchunks_exact_mut(2).zip(v2.rchunks_exact(2)) {
545         let sum = b.iter().sum::<i32>();
546         for v in a {
547             *v += sum;
548         }
549     }
550     assert_eq!(v1, [0, 16, 17, 22, 23]);
551 }
552
553 #[test]
554 fn test_windows_count() {
555     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
556     let c = v.windows(3);
557     assert_eq!(c.count(), 4);
558
559     let v2: &[i32] = &[0, 1, 2, 3, 4];
560     let c2 = v2.windows(6);
561     assert_eq!(c2.count(), 0);
562
563     let v3: &[i32] = &[];
564     let c3 = v3.windows(2);
565     assert_eq!(c3.count(), 0);
566 }
567
568 #[test]
569 fn test_windows_nth() {
570     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
571     let mut c = v.windows(2);
572     assert_eq!(c.nth(2).unwrap()[1], 3);
573     assert_eq!(c.next().unwrap()[0], 3);
574
575     let v2: &[i32] = &[0, 1, 2, 3, 4];
576     let mut c2 = v2.windows(4);
577     assert_eq!(c2.nth(1).unwrap()[1], 2);
578     assert_eq!(c2.next(), None);
579 }
580
581 #[test]
582 fn test_windows_nth_back() {
583     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
584     let mut c = v.windows(2);
585     assert_eq!(c.nth_back(2).unwrap()[0], 2);
586     assert_eq!(c.next_back().unwrap()[1], 2);
587
588     let v2: &[i32] = &[0, 1, 2, 3, 4];
589     let mut c2 = v2.windows(4);
590     assert_eq!(c2.nth_back(1).unwrap()[1], 1);
591     assert_eq!(c2.next_back(), None);
592 }
593
594 #[test]
595 fn test_windows_last() {
596     let v: &[i32] = &[0, 1, 2, 3, 4, 5];
597     let c = v.windows(2);
598     assert_eq!(c.last().unwrap()[1], 5);
599
600     let v2: &[i32] = &[0, 1, 2, 3, 4];
601     let c2 = v2.windows(2);
602     assert_eq!(c2.last().unwrap()[0], 3);
603 }
604
605 #[test]
606 fn test_windows_zip() {
607     let v1: &[i32] = &[0, 1, 2, 3, 4];
608     let v2: &[i32] = &[6, 7, 8, 9, 10];
609
610     let res = v1.windows(2)
611         .zip(v2.windows(2))
612         .map(|(a, b)| a.iter().sum::<i32>() + b.iter().sum::<i32>())
613         .collect::<Vec<_>>();
614
615     assert_eq!(res, [14, 18, 22, 26]);
616 }
617
618 #[test]
619 #[allow(const_err)]
620 fn test_iter_ref_consistency() {
621     use std::fmt::Debug;
622
623     fn test<T : Copy + Debug + PartialEq>(x : T) {
624         let v : &[T] = &[x, x, x];
625         let v_ptrs : [*const T; 3] = match v {
626             [ref v1, ref v2, ref v3] => [v1 as *const _, v2 as *const _, v3 as *const _],
627             _ => unreachable!()
628         };
629         let len = v.len();
630
631         // nth(i)
632         for i in 0..len {
633             assert_eq!(&v[i] as *const _, v_ptrs[i]); // check the v_ptrs array, just to be sure
634             let nth = v.iter().nth(i).unwrap();
635             assert_eq!(nth as *const _, v_ptrs[i]);
636         }
637         assert_eq!(v.iter().nth(len), None, "nth(len) should return None");
638
639         // stepping through with nth(0)
640         {
641             let mut it = v.iter();
642             for i in 0..len {
643                 let next = it.nth(0).unwrap();
644                 assert_eq!(next as *const _, v_ptrs[i]);
645             }
646             assert_eq!(it.nth(0), None);
647         }
648
649         // next()
650         {
651             let mut it = v.iter();
652             for i in 0..len {
653                 let remaining = len - i;
654                 assert_eq!(it.size_hint(), (remaining, Some(remaining)));
655
656                 let next = it.next().unwrap();
657                 assert_eq!(next as *const _, v_ptrs[i]);
658             }
659             assert_eq!(it.size_hint(), (0, Some(0)));
660             assert_eq!(it.next(), None, "The final call to next() should return None");
661         }
662
663         // next_back()
664         {
665             let mut it = v.iter();
666             for i in 0..len {
667                 let remaining = len - i;
668                 assert_eq!(it.size_hint(), (remaining, Some(remaining)));
669
670                 let prev = it.next_back().unwrap();
671                 assert_eq!(prev as *const _, v_ptrs[remaining-1]);
672             }
673             assert_eq!(it.size_hint(), (0, Some(0)));
674             assert_eq!(it.next_back(), None, "The final call to next_back() should return None");
675         }
676     }
677
678     fn test_mut<T : Copy + Debug + PartialEq>(x : T) {
679         let v : &mut [T] = &mut [x, x, x];
680         let v_ptrs : [*mut T; 3] = match v {
681             [ref v1, ref v2, ref v3] =>
682               [v1 as *const _ as *mut _, v2 as *const _ as *mut _, v3 as *const _ as *mut _],
683             _ => unreachable!()
684         };
685         let len = v.len();
686
687         // nth(i)
688         for i in 0..len {
689             assert_eq!(&mut v[i] as *mut _, v_ptrs[i]); // check the v_ptrs array, just to be sure
690             let nth = v.iter_mut().nth(i).unwrap();
691             assert_eq!(nth as *mut _, v_ptrs[i]);
692         }
693         assert_eq!(v.iter().nth(len), None, "nth(len) should return None");
694
695         // stepping through with nth(0)
696         {
697             let mut it = v.iter();
698             for i in 0..len {
699                 let next = it.nth(0).unwrap();
700                 assert_eq!(next as *const _, v_ptrs[i]);
701             }
702             assert_eq!(it.nth(0), None);
703         }
704
705         // next()
706         {
707             let mut it = v.iter_mut();
708             for i in 0..len {
709                 let remaining = len - i;
710                 assert_eq!(it.size_hint(), (remaining, Some(remaining)));
711
712                 let next = it.next().unwrap();
713                 assert_eq!(next as *mut _, v_ptrs[i]);
714             }
715             assert_eq!(it.size_hint(), (0, Some(0)));
716             assert_eq!(it.next(), None, "The final call to next() should return None");
717         }
718
719         // next_back()
720         {
721             let mut it = v.iter_mut();
722             for i in 0..len {
723                 let remaining = len - i;
724                 assert_eq!(it.size_hint(), (remaining, Some(remaining)));
725
726                 let prev = it.next_back().unwrap();
727                 assert_eq!(prev as *mut _, v_ptrs[remaining-1]);
728             }
729             assert_eq!(it.size_hint(), (0, Some(0)));
730             assert_eq!(it.next_back(), None, "The final call to next_back() should return None");
731         }
732     }
733
734     // Make sure iterators and slice patterns yield consistent addresses for various types,
735     // including ZSTs.
736     test(0u32);
737     test(());
738     test([0u32; 0]); // ZST with alignment > 0
739     test_mut(0u32);
740     test_mut(());
741     test_mut([0u32; 0]); // ZST with alignment > 0
742 }
743
744 // The current implementation of SliceIndex fails to handle methods
745 // orthogonally from range types; therefore, it is worth testing
746 // all of the indexing operations on each input.
747 mod slice_index {
748     // This checks all six indexing methods, given an input range that
749     // should succeed. (it is NOT suitable for testing invalid inputs)
750     macro_rules! assert_range_eq {
751         ($arr:expr, $range:expr, $expected:expr)
752         => {
753             let mut arr = $arr;
754             let mut expected = $expected;
755             {
756                 let s: &[_] = &arr;
757                 let expected: &[_] = &expected;
758
759                 assert_eq!(&s[$range], expected, "(in assertion for: index)");
760                 assert_eq!(s.get($range), Some(expected), "(in assertion for: get)");
761                 unsafe {
762                     assert_eq!(
763                         s.get_unchecked($range), expected,
764                         "(in assertion for: get_unchecked)",
765                     );
766                 }
767             }
768             {
769                 let s: &mut [_] = &mut arr;
770                 let expected: &mut [_] = &mut expected;
771
772                 assert_eq!(
773                     &mut s[$range], expected,
774                     "(in assertion for: index_mut)",
775                 );
776                 assert_eq!(
777                     s.get_mut($range), Some(&mut expected[..]),
778                     "(in assertion for: get_mut)",
779                 );
780                 unsafe {
781                     assert_eq!(
782                         s.get_unchecked_mut($range), expected,
783                         "(in assertion for: get_unchecked_mut)",
784                     );
785                 }
786             }
787         }
788     }
789
790     // Make sure the macro can actually detect bugs,
791     // because if it can't, then what are we even doing here?
792     //
793     // (Be aware this only demonstrates the ability to detect bugs
794     //  in the FIRST method that panics, as the macro is not designed
795     //  to be used in `should_panic`)
796     #[test]
797     #[should_panic(expected = "out of range")]
798     fn assert_range_eq_can_fail_by_panic() {
799         assert_range_eq!([0, 1, 2], 0..5, [0, 1, 2]);
800     }
801
802     // (Be aware this only demonstrates the ability to detect bugs
803     //  in the FIRST method it calls, as the macro is not designed
804     //  to be used in `should_panic`)
805     #[test]
806     #[should_panic(expected = "==")]
807     fn assert_range_eq_can_fail_by_inequality() {
808         assert_range_eq!([0, 1, 2], 0..2, [0, 1, 2]);
809     }
810
811     // Test cases for bad index operations.
812     //
813     // This generates `should_panic` test cases for Index/IndexMut
814     // and `None` test cases for get/get_mut.
815     macro_rules! panic_cases {
816         ($(
817             // each test case needs a unique name to namespace the tests
818             in mod $case_name:ident {
819                 data: $data:expr;
820
821                 // optional:
822                 //
823                 // one or more similar inputs for which data[input] succeeds,
824                 // and the corresponding output as an array.  This helps validate
825                 // "critical points" where an input range straddles the boundary
826                 // between valid and invalid.
827                 // (such as the input `len..len`, which is just barely valid)
828                 $(
829                     good: data[$good:expr] == $output:expr;
830                 )*
831
832                 bad: data[$bad:expr];
833                 message: $expect_msg:expr;
834             }
835         )*) => {$(
836             mod $case_name {
837                 #[test]
838                 fn pass() {
839                     let mut v = $data;
840
841                     $( assert_range_eq!($data, $good, $output); )*
842
843                     {
844                         let v: &[_] = &v;
845                         assert_eq!(v.get($bad), None, "(in None assertion for get)");
846                     }
847
848                     {
849                         let v: &mut [_] = &mut v;
850                         assert_eq!(v.get_mut($bad), None, "(in None assertion for get_mut)");
851                     }
852                 }
853
854                 #[test]
855                 #[should_panic(expected = $expect_msg)]
856                 fn index_fail() {
857                     let v = $data;
858                     let v: &[_] = &v;
859                     let _v = &v[$bad];
860                 }
861
862                 #[test]
863                 #[should_panic(expected = $expect_msg)]
864                 fn index_mut_fail() {
865                     let mut v = $data;
866                     let v: &mut [_] = &mut v;
867                     let _v = &mut v[$bad];
868                 }
869             }
870         )*};
871     }
872
873     #[test]
874     fn simple() {
875         let v = [0, 1, 2, 3, 4, 5];
876
877         assert_range_eq!(v, .., [0, 1, 2, 3, 4, 5]);
878         assert_range_eq!(v, ..2, [0, 1]);
879         assert_range_eq!(v, ..=1, [0, 1]);
880         assert_range_eq!(v, 2.., [2, 3, 4, 5]);
881         assert_range_eq!(v, 1..4, [1, 2, 3]);
882         assert_range_eq!(v, 1..=3, [1, 2, 3]);
883     }
884
885     panic_cases! {
886         in mod rangefrom_len {
887             data: [0, 1, 2, 3, 4, 5];
888
889             good: data[6..] == [];
890             bad: data[7..];
891             message: "but ends at"; // perhaps not ideal
892         }
893
894         in mod rangeto_len {
895             data: [0, 1, 2, 3, 4, 5];
896
897             good: data[..6] == [0, 1, 2, 3, 4, 5];
898             bad: data[..7];
899             message: "out of range";
900         }
901
902         in mod rangetoinclusive_len {
903             data: [0, 1, 2, 3, 4, 5];
904
905             good: data[..=5] == [0, 1, 2, 3, 4, 5];
906             bad: data[..=6];
907             message: "out of range";
908         }
909
910         in mod range_len_len {
911             data: [0, 1, 2, 3, 4, 5];
912
913             good: data[6..6] == [];
914             bad: data[7..7];
915             message: "out of range";
916         }
917
918         in mod rangeinclusive_len_len {
919             data: [0, 1, 2, 3, 4, 5];
920
921             good: data[6..=5] == [];
922             bad: data[7..=6];
923             message: "out of range";
924         }
925     }
926
927     panic_cases! {
928         in mod range_neg_width {
929             data: [0, 1, 2, 3, 4, 5];
930
931             good: data[4..4] == [];
932             bad: data[4..3];
933             message: "but ends at";
934         }
935
936         in mod rangeinclusive_neg_width {
937             data: [0, 1, 2, 3, 4, 5];
938
939             good: data[4..=3] == [];
940             bad: data[4..=2];
941             message: "but ends at";
942         }
943     }
944
945     panic_cases! {
946         in mod rangeinclusive_overflow {
947             data: [0, 1];
948
949             // note: using 0 specifically ensures that the result of overflowing is 0..0,
950             //       so that `get` doesn't simply return None for the wrong reason.
951             bad: data[0 ..= ::std::usize::MAX];
952             message: "maximum usize";
953         }
954
955         in mod rangetoinclusive_overflow {
956             data: [0, 1];
957
958             bad: data[..= ::std::usize::MAX];
959             message: "maximum usize";
960         }
961     } // panic_cases!
962 }
963
964 #[test]
965 fn test_find_rfind() {
966     let v = [0, 1, 2, 3, 4, 5];
967     let mut iter = v.iter();
968     let mut i = v.len();
969     while let Some(&elt) = iter.rfind(|_| true) {
970         i -= 1;
971         assert_eq!(elt, v[i]);
972     }
973     assert_eq!(i, 0);
974     assert_eq!(v.iter().rfind(|&&x| x <= 3), Some(&3));
975 }
976
977 #[test]
978 fn test_iter_folds() {
979     let a = [1, 2, 3, 4, 5]; // len>4 so the unroll is used
980     assert_eq!(a.iter().fold(0, |acc, &x| 2*acc + x), 57);
981     assert_eq!(a.iter().rfold(0, |acc, &x| 2*acc + x), 129);
982     let fold = |acc: i32, &x| acc.checked_mul(2)?.checked_add(x);
983     assert_eq!(a.iter().try_fold(0, &fold), Some(57));
984     assert_eq!(a.iter().try_rfold(0, &fold), Some(129));
985
986     // short-circuiting try_fold, through other methods
987     let a = [0, 1, 2, 3, 5, 5, 5, 7, 8, 9];
988     let mut iter = a.iter();
989     assert_eq!(iter.position(|&x| x == 3), Some(3));
990     assert_eq!(iter.rfind(|&&x| x == 5), Some(&5));
991     assert_eq!(iter.len(), 2);
992 }
993
994 #[test]
995 fn test_rotate_left() {
996     const N: usize = 600;
997     let a: &mut [_] = &mut [0; N];
998     for i in 0..N {
999         a[i] = i;
1000     }
1001
1002     a.rotate_left(42);
1003     let k = N - 42;
1004
1005     for i in 0..N {
1006         assert_eq!(a[(i + k) % N], i);
1007     }
1008 }
1009
1010 #[test]
1011 fn test_rotate_right() {
1012     const N: usize = 600;
1013     let a: &mut [_] = &mut [0; N];
1014     for i in 0..N {
1015         a[i] = i;
1016     }
1017
1018     a.rotate_right(42);
1019
1020     for i in 0..N {
1021         assert_eq!(a[(i + 42) % N], i);
1022     }
1023 }
1024
1025 #[test]
1026 #[cfg(not(target_arch = "wasm32"))]
1027 fn sort_unstable() {
1028     use core::cmp::Ordering::{Equal, Greater, Less};
1029     use core::slice::heapsort;
1030     use rand::{FromEntropy, Rng, rngs::SmallRng, seq::SliceRandom};
1031
1032     #[cfg(not(miri))] // Miri is too slow
1033     let large_range = 500..510;
1034     #[cfg(not(miri))] // Miri is too slow
1035     let rounds = 100;
1036
1037     #[cfg(miri)]
1038     let large_range = 0..0; // empty range
1039     #[cfg(miri)]
1040     let rounds = 1;
1041
1042     let mut v = [0; 600];
1043     let mut tmp = [0; 600];
1044     let mut rng = SmallRng::from_entropy();
1045
1046     for len in (2..25).chain(large_range) {
1047         let v = &mut v[0..len];
1048         let tmp = &mut tmp[0..len];
1049
1050         for &modulus in &[5, 10, 100, 1000] {
1051             for _ in 0..rounds {
1052                 for i in 0..len {
1053                     v[i] = rng.gen::<i32>() % modulus;
1054                 }
1055
1056                 // Sort in default order.
1057                 tmp.copy_from_slice(v);
1058                 tmp.sort_unstable();
1059                 assert!(tmp.windows(2).all(|w| w[0] <= w[1]));
1060
1061                 // Sort in ascending order.
1062                 tmp.copy_from_slice(v);
1063                 tmp.sort_unstable_by(|a, b| a.cmp(b));
1064                 assert!(tmp.windows(2).all(|w| w[0] <= w[1]));
1065
1066                 // Sort in descending order.
1067                 tmp.copy_from_slice(v);
1068                 tmp.sort_unstable_by(|a, b| b.cmp(a));
1069                 assert!(tmp.windows(2).all(|w| w[0] >= w[1]));
1070
1071                 // Test heapsort using `<` operator.
1072                 tmp.copy_from_slice(v);
1073                 heapsort(tmp, |a, b| a < b);
1074                 assert!(tmp.windows(2).all(|w| w[0] <= w[1]));
1075
1076                 // Test heapsort using `>` operator.
1077                 tmp.copy_from_slice(v);
1078                 heapsort(tmp, |a, b| a > b);
1079                 assert!(tmp.windows(2).all(|w| w[0] >= w[1]));
1080             }
1081         }
1082     }
1083
1084     // Sort using a completely random comparison function.
1085     // This will reorder the elements *somehow*, but won't panic.
1086     for i in 0..v.len() {
1087         v[i] = i as i32;
1088     }
1089     v.sort_unstable_by(|_, _| *[Less, Equal, Greater].choose(&mut rng).unwrap());
1090     v.sort_unstable();
1091     for i in 0..v.len() {
1092         assert_eq!(v[i], i as i32);
1093     }
1094
1095     // Should not panic.
1096     [0i32; 0].sort_unstable();
1097     [(); 10].sort_unstable();
1098     [(); 100].sort_unstable();
1099
1100     let mut v = [0xDEADBEEFu64];
1101     v.sort_unstable();
1102     assert!(v == [0xDEADBEEF]);
1103 }
1104
1105 #[test]
1106 #[cfg(not(target_arch = "wasm32"))]
1107 #[cfg(not(miri))] // Miri is too slow
1108 fn partition_at_index() {
1109     use core::cmp::Ordering::{Equal, Greater, Less};
1110     use rand::rngs::SmallRng;
1111     use rand::seq::SliceRandom;
1112     use rand::{FromEntropy, Rng};
1113
1114     let mut rng = SmallRng::from_entropy();
1115
1116     for len in (2..21).chain(500..501) {
1117         let mut orig = vec![0; len];
1118
1119         for &modulus in &[5, 10, 1000] {
1120             for _ in 0..10 {
1121                 for i in 0..len {
1122                     orig[i] = rng.gen::<i32>() % modulus;
1123                 }
1124
1125                 let v_sorted = {
1126                     let mut v = orig.clone();
1127                     v.sort();
1128                     v
1129                 };
1130
1131                 // Sort in default order.
1132                 for pivot in 0..len {
1133                     let mut v = orig.clone();
1134                     v.partition_at_index(pivot);
1135
1136                     assert_eq!(v_sorted[pivot], v[pivot]);
1137                     for i in 0..pivot {
1138                         for j in pivot..len {
1139                             assert!(v[i] <= v[j]);
1140                         }
1141                     }
1142                 }
1143
1144                 // Sort in ascending order.
1145                 for pivot in 0..len {
1146                     let mut v = orig.clone();
1147                     let (left, pivot, right) = v.partition_at_index_by(pivot, |a, b| a.cmp(b));
1148
1149                     assert_eq!(left.len() + right.len(), len - 1);
1150
1151                     for l in left {
1152                         assert!(l <= pivot);
1153                         for r in right.iter_mut() {
1154                             assert!(l <= r);
1155                             assert!(pivot <= r);
1156                         }
1157                     }
1158                 }
1159
1160                 // Sort in descending order.
1161                 let sort_descending_comparator = |a: &i32, b: &i32| b.cmp(a);
1162                 let v_sorted_descending = {
1163                     let mut v = orig.clone();
1164                     v.sort_by(sort_descending_comparator);
1165                     v
1166                 };
1167
1168                 for pivot in 0..len {
1169                     let mut v = orig.clone();
1170                     v.partition_at_index_by(pivot, sort_descending_comparator);
1171
1172                     assert_eq!(v_sorted_descending[pivot], v[pivot]);
1173                     for i in 0..pivot {
1174                         for j in pivot..len {
1175                             assert!(v[j] <= v[i]);
1176                         }
1177                     }
1178                 }
1179             }
1180         }
1181     }
1182
1183     // Sort at index using a completely random comparison function.
1184     // This will reorder the elements *somehow*, but won't panic.
1185     let mut v = [0; 500];
1186     for i in 0..v.len() {
1187         v[i] = i as i32;
1188     }
1189
1190     for pivot in 0..v.len() {
1191         v.partition_at_index_by(pivot, |_, _| *[Less, Equal, Greater].choose(&mut rng).unwrap());
1192         v.sort();
1193         for i in 0..v.len() {
1194             assert_eq!(v[i], i as i32);
1195         }
1196     }
1197
1198     // Should not panic.
1199     [(); 10].partition_at_index(0);
1200     [(); 10].partition_at_index(5);
1201     [(); 10].partition_at_index(9);
1202     [(); 100].partition_at_index(0);
1203     [(); 100].partition_at_index(50);
1204     [(); 100].partition_at_index(99);
1205
1206     let mut v = [0xDEADBEEFu64];
1207     v.partition_at_index(0);
1208     assert!(v == [0xDEADBEEF]);
1209 }
1210
1211 #[test]
1212 #[should_panic(expected = "index 0 greater than length of slice")]
1213 fn partition_at_index_zero_length() {
1214     [0i32; 0].partition_at_index(0);
1215 }
1216
1217 #[test]
1218 #[should_panic(expected = "index 20 greater than length of slice")]
1219 fn partition_at_index_past_length() {
1220     [0i32; 10].partition_at_index(20);
1221 }
1222
1223 pub mod memchr {
1224     use core::slice::memchr::{memchr, memrchr};
1225
1226     // test fallback implementations on all platforms
1227     #[test]
1228     fn matches_one() {
1229         assert_eq!(Some(0), memchr(b'a', b"a"));
1230     }
1231
1232     #[test]
1233     fn matches_begin() {
1234         assert_eq!(Some(0), memchr(b'a', b"aaaa"));
1235     }
1236
1237     #[test]
1238     fn matches_end() {
1239         assert_eq!(Some(4), memchr(b'z', b"aaaaz"));
1240     }
1241
1242     #[test]
1243     fn matches_nul() {
1244         assert_eq!(Some(4), memchr(b'\x00', b"aaaa\x00"));
1245     }
1246
1247     #[test]
1248     fn matches_past_nul() {
1249         assert_eq!(Some(5), memchr(b'z', b"aaaa\x00z"));
1250     }
1251
1252     #[test]
1253     fn no_match_empty() {
1254         assert_eq!(None, memchr(b'a', b""));
1255     }
1256
1257     #[test]
1258     fn no_match() {
1259         assert_eq!(None, memchr(b'a', b"xyz"));
1260     }
1261
1262     #[test]
1263     fn matches_one_reversed() {
1264         assert_eq!(Some(0), memrchr(b'a', b"a"));
1265     }
1266
1267     #[test]
1268     fn matches_begin_reversed() {
1269         assert_eq!(Some(3), memrchr(b'a', b"aaaa"));
1270     }
1271
1272     #[test]
1273     fn matches_end_reversed() {
1274         assert_eq!(Some(0), memrchr(b'z', b"zaaaa"));
1275     }
1276
1277     #[test]
1278     fn matches_nul_reversed() {
1279         assert_eq!(Some(4), memrchr(b'\x00', b"aaaa\x00"));
1280     }
1281
1282     #[test]
1283     fn matches_past_nul_reversed() {
1284         assert_eq!(Some(0), memrchr(b'z', b"z\x00aaaa"));
1285     }
1286
1287     #[test]
1288     fn no_match_empty_reversed() {
1289         assert_eq!(None, memrchr(b'a', b""));
1290     }
1291
1292     #[test]
1293     fn no_match_reversed() {
1294         assert_eq!(None, memrchr(b'a', b"xyz"));
1295     }
1296
1297     #[test]
1298     fn each_alignment_reversed() {
1299         let mut data = [1u8; 64];
1300         let needle = 2;
1301         let pos = 40;
1302         data[pos] = needle;
1303         for start in 0..16 {
1304             assert_eq!(Some(pos - start), memrchr(needle, &data[start..]));
1305         }
1306     }
1307 }
1308
1309 #[test]
1310 #[cfg(not(miri))] // Miri cannot compute actual alignment of an allocation
1311 fn test_align_to_simple() {
1312     let bytes = [1u8, 2, 3, 4, 5, 6, 7];
1313     let (prefix, aligned, suffix) = unsafe { bytes.align_to::<u16>() };
1314     assert_eq!(aligned.len(), 3);
1315     assert!(prefix == [1] || suffix == [7]);
1316     let expect1 = [1 << 8 | 2, 3 << 8 | 4, 5 << 8 | 6];
1317     let expect2 = [1 | 2 << 8, 3 | 4 << 8, 5 | 6 << 8];
1318     let expect3 = [2 << 8 | 3, 4 << 8 | 5, 6 << 8 | 7];
1319     let expect4 = [2 | 3 << 8, 4 | 5 << 8, 6 | 7 << 8];
1320     assert!(aligned == expect1 || aligned == expect2 || aligned == expect3 || aligned == expect4,
1321             "aligned={:?} expected={:?} || {:?} || {:?} || {:?}",
1322             aligned, expect1, expect2, expect3, expect4);
1323 }
1324
1325 #[test]
1326 fn test_align_to_zst() {
1327     let bytes = [1, 2, 3, 4, 5, 6, 7];
1328     let (prefix, aligned, suffix) = unsafe { bytes.align_to::<()>() };
1329     assert_eq!(aligned.len(), 0);
1330     assert!(prefix == [1, 2, 3, 4, 5, 6, 7] || suffix == [1, 2, 3, 4, 5, 6, 7]);
1331 }
1332
1333 #[test]
1334 #[cfg(not(miri))] // Miri cannot compute actual alignment of an allocation
1335 fn test_align_to_non_trivial() {
1336     #[repr(align(8))] struct U64(u64, u64);
1337     #[repr(align(8))] struct U64U64U32(u64, u64, u32);
1338     let data = [U64(1, 2), U64(3, 4), U64(5, 6), U64(7, 8), U64(9, 10), U64(11, 12), U64(13, 14),
1339                 U64(15, 16)];
1340     let (prefix, aligned, suffix) = unsafe { data.align_to::<U64U64U32>() };
1341     assert_eq!(aligned.len(), 4);
1342     assert_eq!(prefix.len() + suffix.len(), 2);
1343 }
1344
1345 #[test]
1346 fn test_align_to_empty_mid() {
1347     use core::mem;
1348
1349     // Make sure that we do not create empty unaligned slices for the mid part, even when the
1350     // overall slice is too short to contain an aligned address.
1351     let bytes = [1, 2, 3, 4, 5, 6, 7];
1352     type Chunk = u32;
1353     for offset in 0..4 {
1354         let (_, mid, _) = unsafe { bytes[offset..offset+1].align_to::<Chunk>() };
1355         assert_eq!(mid.as_ptr() as usize % mem::align_of::<Chunk>(), 0);
1356     }
1357 }
1358
1359 #[test]
1360 fn test_slice_partition_dedup_by() {
1361     let mut slice: [i32; 9] = [1, -1, 2, 3, 1, -5, 5, -2, 2];
1362
1363     let (dedup, duplicates) = slice.partition_dedup_by(|a, b| a.abs() == b.abs());
1364
1365     assert_eq!(dedup, [1, 2, 3, 1, -5, -2]);
1366     assert_eq!(duplicates, [5, -1, 2]);
1367 }
1368
1369 #[test]
1370 fn test_slice_partition_dedup_empty() {
1371     let mut slice: [i32; 0] = [];
1372
1373     let (dedup, duplicates) = slice.partition_dedup();
1374
1375     assert_eq!(dedup, []);
1376     assert_eq!(duplicates, []);
1377 }
1378
1379 #[test]
1380 fn test_slice_partition_dedup_one() {
1381     let mut slice = [12];
1382
1383     let (dedup, duplicates) = slice.partition_dedup();
1384
1385     assert_eq!(dedup, [12]);
1386     assert_eq!(duplicates, []);
1387 }
1388
1389 #[test]
1390 fn test_slice_partition_dedup_multiple_ident() {
1391     let mut slice = [12, 12, 12, 12, 12, 11, 11, 11, 11, 11, 11];
1392
1393     let (dedup, duplicates) = slice.partition_dedup();
1394
1395     assert_eq!(dedup, [12, 11]);
1396     assert_eq!(duplicates, [12, 12, 12, 12, 11, 11, 11, 11, 11]);
1397 }
1398
1399 #[test]
1400 fn test_slice_partition_dedup_partialeq() {
1401     #[derive(Debug)]
1402     struct Foo(i32, i32);
1403
1404     impl PartialEq for Foo {
1405         fn eq(&self, other: &Foo) -> bool {
1406             self.0 == other.0
1407         }
1408     }
1409
1410     let mut slice = [Foo(0, 1), Foo(0, 5), Foo(1, 7), Foo(1, 9)];
1411
1412     let (dedup, duplicates) = slice.partition_dedup();
1413
1414     assert_eq!(dedup, [Foo(0, 1), Foo(1, 7)]);
1415     assert_eq!(duplicates, [Foo(0, 5), Foo(1, 9)]);
1416 }
1417
1418 #[test]
1419 fn test_copy_within() {
1420     // Start to end, with a RangeTo.
1421     let mut bytes = *b"Hello, World!";
1422     bytes.copy_within(..3, 10);
1423     assert_eq!(&bytes, b"Hello, WorHel");
1424
1425     // End to start, with a RangeFrom.
1426     let mut bytes = *b"Hello, World!";
1427     bytes.copy_within(10.., 0);
1428     assert_eq!(&bytes, b"ld!lo, World!");
1429
1430     // Overlapping, with a RangeInclusive.
1431     let mut bytes = *b"Hello, World!";
1432     bytes.copy_within(0..=11, 1);
1433     assert_eq!(&bytes, b"HHello, World");
1434
1435     // Whole slice, with a RangeFull.
1436     let mut bytes = *b"Hello, World!";
1437     bytes.copy_within(.., 0);
1438     assert_eq!(&bytes, b"Hello, World!");
1439 }
1440
1441 #[test]
1442 #[should_panic(expected = "src is out of bounds")]
1443 fn test_copy_within_panics_src_too_long() {
1444     let mut bytes = *b"Hello, World!";
1445     // The length is only 13, so 14 is out of bounds.
1446     bytes.copy_within(10..14, 0);
1447 }
1448
1449 #[test]
1450 #[should_panic(expected = "dest is out of bounds")]
1451 fn test_copy_within_panics_dest_too_long() {
1452     let mut bytes = *b"Hello, World!";
1453     // The length is only 13, so a slice of length 4 starting at index 10 is out of bounds.
1454     bytes.copy_within(0..4, 10);
1455 }
1456 #[test]
1457 #[should_panic(expected = "src end is before src start")]
1458 fn test_copy_within_panics_src_inverted() {
1459     let mut bytes = *b"Hello, World!";
1460     // 2 is greater than 1, so this range is invalid.
1461     bytes.copy_within(2..1, 0);
1462 }
1463
1464 #[test]
1465 fn test_is_sorted() {
1466     let empty: [i32; 0] = [];
1467
1468     assert!([1, 2, 2, 9].is_sorted());
1469     assert!(![1, 3, 2].is_sorted());
1470     assert!([0].is_sorted());
1471     assert!(empty.is_sorted());
1472     assert!(![0.0, 1.0, std::f32::NAN].is_sorted());
1473     assert!([-2, -1, 0, 3].is_sorted());
1474     assert!(![-2i32, -1, 0, 3].is_sorted_by_key(|n| n.abs()));
1475     assert!(!["c", "bb", "aaa"].is_sorted());
1476     assert!(["c", "bb", "aaa"].is_sorted_by_key(|s| s.len()));
1477 }