]> git.lizzy.rs Git - rust.git/blob - src/liballoc/tests/slice.rs
enable panic-catching tests in Miri
[rust.git] / src / liballoc / tests / slice.rs
1 use std::cell::Cell;
2 use std::cmp::Ordering::{self, Equal, Greater, Less};
3 use std::mem;
4 use std::panic;
5 use std::rc::Rc;
6 use std::sync::atomic::{Ordering::Relaxed, AtomicUsize};
7
8 use rand::{Rng, RngCore, thread_rng};
9 use rand::seq::SliceRandom;
10 use rand::distributions::Standard;
11
12 fn square(n: usize) -> usize {
13     n * n
14 }
15
16 fn is_odd(n: &usize) -> bool {
17     *n % 2 == 1
18 }
19
20 #[test]
21 fn test_from_fn() {
22     // Test on-stack from_fn.
23     let mut v: Vec<_> = (0..3).map(square).collect();
24     {
25         let v = v;
26         assert_eq!(v.len(), 3);
27         assert_eq!(v[0], 0);
28         assert_eq!(v[1], 1);
29         assert_eq!(v[2], 4);
30     }
31
32     // Test on-heap from_fn.
33     v = (0..5).map(square).collect();
34     {
35         let v = v;
36         assert_eq!(v.len(), 5);
37         assert_eq!(v[0], 0);
38         assert_eq!(v[1], 1);
39         assert_eq!(v[2], 4);
40         assert_eq!(v[3], 9);
41         assert_eq!(v[4], 16);
42     }
43 }
44
45 #[test]
46 fn test_from_elem() {
47     // Test on-stack from_elem.
48     let mut v = vec![10, 10];
49     {
50         let v = v;
51         assert_eq!(v.len(), 2);
52         assert_eq!(v[0], 10);
53         assert_eq!(v[1], 10);
54     }
55
56     // Test on-heap from_elem.
57     v = vec![20; 6];
58     {
59         let v = &v[..];
60         assert_eq!(v[0], 20);
61         assert_eq!(v[1], 20);
62         assert_eq!(v[2], 20);
63         assert_eq!(v[3], 20);
64         assert_eq!(v[4], 20);
65         assert_eq!(v[5], 20);
66     }
67 }
68
69 #[test]
70 fn test_is_empty() {
71     let xs: [i32; 0] = [];
72     assert!(xs.is_empty());
73     assert!(![0].is_empty());
74 }
75
76 #[test]
77 fn test_len_divzero() {
78     type Z = [i8; 0];
79     let v0: &[Z] = &[];
80     let v1: &[Z] = &[[]];
81     let v2: &[Z] = &[[], []];
82     assert_eq!(mem::size_of::<Z>(), 0);
83     assert_eq!(v0.len(), 0);
84     assert_eq!(v1.len(), 1);
85     assert_eq!(v2.len(), 2);
86 }
87
88 #[test]
89 fn test_get() {
90     let mut a = vec![11];
91     assert_eq!(a.get(1), None);
92     a = vec![11, 12];
93     assert_eq!(a.get(1).unwrap(), &12);
94     a = vec![11, 12, 13];
95     assert_eq!(a.get(1).unwrap(), &12);
96 }
97
98 #[test]
99 fn test_first() {
100     let mut a = vec![];
101     assert_eq!(a.first(), None);
102     a = vec![11];
103     assert_eq!(a.first().unwrap(), &11);
104     a = vec![11, 12];
105     assert_eq!(a.first().unwrap(), &11);
106 }
107
108 #[test]
109 fn test_first_mut() {
110     let mut a = vec![];
111     assert_eq!(a.first_mut(), None);
112     a = vec![11];
113     assert_eq!(*a.first_mut().unwrap(), 11);
114     a = vec![11, 12];
115     assert_eq!(*a.first_mut().unwrap(), 11);
116 }
117
118 #[test]
119 fn test_split_first() {
120     let mut a = vec![11];
121     let b: &[i32] = &[];
122     assert!(b.split_first().is_none());
123     assert_eq!(a.split_first(), Some((&11, b)));
124     a = vec![11, 12];
125     let b: &[i32] = &[12];
126     assert_eq!(a.split_first(), Some((&11, b)));
127 }
128
129 #[test]
130 fn test_split_first_mut() {
131     let mut a = vec![11];
132     let b: &mut [i32] = &mut [];
133     assert!(b.split_first_mut().is_none());
134     assert!(a.split_first_mut() == Some((&mut 11, b)));
135     a = vec![11, 12];
136     let b: &mut [_] = &mut [12];
137     assert!(a.split_first_mut() == Some((&mut 11, b)));
138 }
139
140 #[test]
141 fn test_split_last() {
142     let mut a = vec![11];
143     let b: &[i32] = &[];
144     assert!(b.split_last().is_none());
145     assert_eq!(a.split_last(), Some((&11, b)));
146     a = vec![11, 12];
147     let b: &[_] = &[11];
148     assert_eq!(a.split_last(), Some((&12, b)));
149 }
150
151 #[test]
152 fn test_split_last_mut() {
153     let mut a = vec![11];
154     let b: &mut [i32] = &mut [];
155     assert!(b.split_last_mut().is_none());
156     assert!(a.split_last_mut() == Some((&mut 11, b)));
157
158     a = vec![11, 12];
159     let b: &mut [_] = &mut [11];
160     assert!(a.split_last_mut() == Some((&mut 12, b)));
161 }
162
163 #[test]
164 fn test_last() {
165     let mut a = vec![];
166     assert_eq!(a.last(), None);
167     a = vec![11];
168     assert_eq!(a.last().unwrap(), &11);
169     a = vec![11, 12];
170     assert_eq!(a.last().unwrap(), &12);
171 }
172
173 #[test]
174 fn test_last_mut() {
175     let mut a = vec![];
176     assert_eq!(a.last_mut(), None);
177     a = vec![11];
178     assert_eq!(*a.last_mut().unwrap(), 11);
179     a = vec![11, 12];
180     assert_eq!(*a.last_mut().unwrap(), 12);
181 }
182
183 #[test]
184 fn test_slice() {
185     // Test fixed length vector.
186     let vec_fixed = [1, 2, 3, 4];
187     let v_a = vec_fixed[1..vec_fixed.len()].to_vec();
188     assert_eq!(v_a.len(), 3);
189
190     assert_eq!(v_a[0], 2);
191     assert_eq!(v_a[1], 3);
192     assert_eq!(v_a[2], 4);
193
194     // Test on stack.
195     let vec_stack: &[_] = &[1, 2, 3];
196     let v_b = vec_stack[1..3].to_vec();
197     assert_eq!(v_b.len(), 2);
198
199     assert_eq!(v_b[0], 2);
200     assert_eq!(v_b[1], 3);
201
202     // Test `Box<[T]>`
203     let vec_unique = vec![1, 2, 3, 4, 5, 6];
204     let v_d = vec_unique[1..6].to_vec();
205     assert_eq!(v_d.len(), 5);
206
207     assert_eq!(v_d[0], 2);
208     assert_eq!(v_d[1], 3);
209     assert_eq!(v_d[2], 4);
210     assert_eq!(v_d[3], 5);
211     assert_eq!(v_d[4], 6);
212 }
213
214 #[test]
215 fn test_slice_from() {
216     let vec: &[_] = &[1, 2, 3, 4];
217     assert_eq!(&vec[..], vec);
218     let b: &[_] = &[3, 4];
219     assert_eq!(&vec[2..], b);
220     let b: &[_] = &[];
221     assert_eq!(&vec[4..], b);
222 }
223
224 #[test]
225 fn test_slice_to() {
226     let vec: &[_] = &[1, 2, 3, 4];
227     assert_eq!(&vec[..4], vec);
228     let b: &[_] = &[1, 2];
229     assert_eq!(&vec[..2], b);
230     let b: &[_] = &[];
231     assert_eq!(&vec[..0], b);
232 }
233
234
235 #[test]
236 fn test_pop() {
237     let mut v = vec![5];
238     let e = v.pop();
239     assert_eq!(v.len(), 0);
240     assert_eq!(e, Some(5));
241     let f = v.pop();
242     assert_eq!(f, None);
243     let g = v.pop();
244     assert_eq!(g, None);
245 }
246
247 #[test]
248 fn test_swap_remove() {
249     let mut v = vec![1, 2, 3, 4, 5];
250     let mut e = v.swap_remove(0);
251     assert_eq!(e, 1);
252     assert_eq!(v, [5, 2, 3, 4]);
253     e = v.swap_remove(3);
254     assert_eq!(e, 4);
255     assert_eq!(v, [5, 2, 3]);
256 }
257
258 #[test]
259 #[should_panic]
260 fn test_swap_remove_fail() {
261     let mut v = vec![1];
262     let _ = v.swap_remove(0);
263     let _ = v.swap_remove(0);
264 }
265
266 #[test]
267 fn test_swap_remove_noncopyable() {
268     // Tests that we don't accidentally run destructors twice.
269     let mut v: Vec<Box<_>> = Vec::new();
270     v.push(box 0);
271     v.push(box 0);
272     v.push(box 0);
273     let mut _e = v.swap_remove(0);
274     assert_eq!(v.len(), 2);
275     _e = v.swap_remove(1);
276     assert_eq!(v.len(), 1);
277     _e = v.swap_remove(0);
278     assert_eq!(v.len(), 0);
279 }
280
281 #[test]
282 fn test_push() {
283     // Test on-stack push().
284     let mut v = vec![];
285     v.push(1);
286     assert_eq!(v.len(), 1);
287     assert_eq!(v[0], 1);
288
289     // Test on-heap push().
290     v.push(2);
291     assert_eq!(v.len(), 2);
292     assert_eq!(v[0], 1);
293     assert_eq!(v[1], 2);
294 }
295
296 #[test]
297 fn test_truncate() {
298     let mut v: Vec<Box<_>> = vec![box 6, box 5, box 4];
299     v.truncate(1);
300     let v = v;
301     assert_eq!(v.len(), 1);
302     assert_eq!(*(v[0]), 6);
303     // If the unsafe block didn't drop things properly, we blow up here.
304 }
305
306 #[test]
307 fn test_clear() {
308     let mut v: Vec<Box<_>> = vec![box 6, box 5, box 4];
309     v.clear();
310     assert_eq!(v.len(), 0);
311     // If the unsafe block didn't drop things properly, we blow up here.
312 }
313
314 #[test]
315 fn test_retain() {
316     let mut v = vec![1, 2, 3, 4, 5];
317     v.retain(is_odd);
318     assert_eq!(v, [1, 3, 5]);
319 }
320
321 #[test]
322 fn test_binary_search() {
323     assert_eq!([1, 2, 3, 4, 5].binary_search(&5).ok(), Some(4));
324     assert_eq!([1, 2, 3, 4, 5].binary_search(&4).ok(), Some(3));
325     assert_eq!([1, 2, 3, 4, 5].binary_search(&3).ok(), Some(2));
326     assert_eq!([1, 2, 3, 4, 5].binary_search(&2).ok(), Some(1));
327     assert_eq!([1, 2, 3, 4, 5].binary_search(&1).ok(), Some(0));
328
329     assert_eq!([2, 4, 6, 8, 10].binary_search(&1).ok(), None);
330     assert_eq!([2, 4, 6, 8, 10].binary_search(&5).ok(), None);
331     assert_eq!([2, 4, 6, 8, 10].binary_search(&4).ok(), Some(1));
332     assert_eq!([2, 4, 6, 8, 10].binary_search(&10).ok(), Some(4));
333
334     assert_eq!([2, 4, 6, 8].binary_search(&1).ok(), None);
335     assert_eq!([2, 4, 6, 8].binary_search(&5).ok(), None);
336     assert_eq!([2, 4, 6, 8].binary_search(&4).ok(), Some(1));
337     assert_eq!([2, 4, 6, 8].binary_search(&8).ok(), Some(3));
338
339     assert_eq!([2, 4, 6].binary_search(&1).ok(), None);
340     assert_eq!([2, 4, 6].binary_search(&5).ok(), None);
341     assert_eq!([2, 4, 6].binary_search(&4).ok(), Some(1));
342     assert_eq!([2, 4, 6].binary_search(&6).ok(), Some(2));
343
344     assert_eq!([2, 4].binary_search(&1).ok(), None);
345     assert_eq!([2, 4].binary_search(&5).ok(), None);
346     assert_eq!([2, 4].binary_search(&2).ok(), Some(0));
347     assert_eq!([2, 4].binary_search(&4).ok(), Some(1));
348
349     assert_eq!([2].binary_search(&1).ok(), None);
350     assert_eq!([2].binary_search(&5).ok(), None);
351     assert_eq!([2].binary_search(&2).ok(), Some(0));
352
353     assert_eq!([].binary_search(&1).ok(), None);
354     assert_eq!([].binary_search(&5).ok(), None);
355
356     assert!([1, 1, 1, 1, 1].binary_search(&1).ok() != None);
357     assert!([1, 1, 1, 1, 2].binary_search(&1).ok() != None);
358     assert!([1, 1, 1, 2, 2].binary_search(&1).ok() != None);
359     assert!([1, 1, 2, 2, 2].binary_search(&1).ok() != None);
360     assert_eq!([1, 2, 2, 2, 2].binary_search(&1).ok(), Some(0));
361
362     assert_eq!([1, 2, 3, 4, 5].binary_search(&6).ok(), None);
363     assert_eq!([1, 2, 3, 4, 5].binary_search(&0).ok(), None);
364 }
365
366 #[test]
367 fn test_reverse() {
368     let mut v = vec![10, 20];
369     assert_eq!(v[0], 10);
370     assert_eq!(v[1], 20);
371     v.reverse();
372     assert_eq!(v[0], 20);
373     assert_eq!(v[1], 10);
374
375     let mut v3 = Vec::<i32>::new();
376     v3.reverse();
377     assert!(v3.is_empty());
378
379     // check the 1-byte-types path
380     let mut v = (-50..51i8).collect::<Vec<_>>();
381     v.reverse();
382     assert_eq!(v, (-50..51i8).rev().collect::<Vec<_>>());
383
384     // check the 2-byte-types path
385     let mut v = (-50..51i16).collect::<Vec<_>>();
386     v.reverse();
387     assert_eq!(v, (-50..51i16).rev().collect::<Vec<_>>());
388 }
389
390 #[test]
391 #[cfg(not(miri))] // Miri is too slow
392 fn test_sort() {
393     let mut rng = thread_rng();
394
395     for len in (2..25).chain(500..510) {
396         for &modulus in &[5, 10, 100, 1000] {
397             for _ in 0..10 {
398                 let orig: Vec<_> = rng.sample_iter::<i32, _>(&Standard)
399                     .map(|x| x % modulus)
400                     .take(len)
401                     .collect();
402
403                 // Sort in default order.
404                 let mut v = orig.clone();
405                 v.sort();
406                 assert!(v.windows(2).all(|w| w[0] <= w[1]));
407
408                 // Sort in ascending order.
409                 let mut v = orig.clone();
410                 v.sort_by(|a, b| a.cmp(b));
411                 assert!(v.windows(2).all(|w| w[0] <= w[1]));
412
413                 // Sort in descending order.
414                 let mut v = orig.clone();
415                 v.sort_by(|a, b| b.cmp(a));
416                 assert!(v.windows(2).all(|w| w[0] >= w[1]));
417
418                 // Sort in lexicographic order.
419                 let mut v1 = orig.clone();
420                 let mut v2 = orig.clone();
421                 v1.sort_by_key(|x| x.to_string());
422                 v2.sort_by_cached_key(|x| x.to_string());
423                 assert!(v1.windows(2).all(|w| w[0].to_string() <= w[1].to_string()));
424                 assert!(v1 == v2);
425
426                 // Sort with many pre-sorted runs.
427                 let mut v = orig.clone();
428                 v.sort();
429                 v.reverse();
430                 for _ in 0..5 {
431                     let a = rng.gen::<usize>() % len;
432                     let b = rng.gen::<usize>() % len;
433                     if a < b {
434                         v[a..b].reverse();
435                     } else {
436                         v.swap(a, b);
437                     }
438                 }
439                 v.sort();
440                 assert!(v.windows(2).all(|w| w[0] <= w[1]));
441             }
442         }
443     }
444
445     // Sort using a completely random comparison function.
446     // This will reorder the elements *somehow*, but won't panic.
447     let mut v = [0; 500];
448     for i in 0..v.len() {
449         v[i] = i as i32;
450     }
451     v.sort_by(|_, _| *[Less, Equal, Greater].choose(&mut rng).unwrap());
452     v.sort();
453     for i in 0..v.len() {
454         assert_eq!(v[i], i as i32);
455     }
456
457     // Should not panic.
458     [0i32; 0].sort();
459     [(); 10].sort();
460     [(); 100].sort();
461
462     let mut v = [0xDEADBEEFu64];
463     v.sort();
464     assert!(v == [0xDEADBEEF]);
465 }
466
467 #[test]
468 fn test_sort_stability() {
469     #[cfg(not(miri))] // Miri is too slow
470     let large_range = 500..510;
471     #[cfg(not(miri))] // Miri is too slow
472     let rounds = 10;
473
474     #[cfg(miri)]
475     let large_range = 0..0; // empty range
476     #[cfg(miri)]
477     let rounds = 1;
478
479     for len in (2..25).chain(large_range) {
480         for _ in 0..rounds {
481             let mut counts = [0; 10];
482
483             // create a vector like [(6, 1), (5, 1), (6, 2), ...],
484             // where the first item of each tuple is random, but
485             // the second item represents which occurrence of that
486             // number this element is, i.e., the second elements
487             // will occur in sorted order.
488             let orig: Vec<_> = (0..len)
489                 .map(|_| {
490                     let n = thread_rng().gen::<usize>() % 10;
491                     counts[n] += 1;
492                     (n, counts[n])
493                 })
494                 .collect();
495
496             let mut v = orig.clone();
497             // Only sort on the first element, so an unstable sort
498             // may mix up the counts.
499             v.sort_by(|&(a, _), &(b, _)| a.cmp(&b));
500
501             // This comparison includes the count (the second item
502             // of the tuple), so elements with equal first items
503             // will need to be ordered with increasing
504             // counts... i.e., exactly asserting that this sort is
505             // stable.
506             assert!(v.windows(2).all(|w| w[0] <= w[1]));
507
508             let mut v = orig.clone();
509             v.sort_by_cached_key(|&(x, _)| x);
510             assert!(v.windows(2).all(|w| w[0] <= w[1]));
511         }
512     }
513 }
514
515 #[test]
516 fn test_rotate_left() {
517     let expected: Vec<_> = (0..13).collect();
518     let mut v = Vec::new();
519
520     // no-ops
521     v.clone_from(&expected);
522     v.rotate_left(0);
523     assert_eq!(v, expected);
524     v.rotate_left(expected.len());
525     assert_eq!(v, expected);
526     let mut zst_array = [(), (), ()];
527     zst_array.rotate_left(2);
528
529     // happy path
530     v = (5..13).chain(0..5).collect();
531     v.rotate_left(8);
532     assert_eq!(v, expected);
533
534     let expected: Vec<_> = (0..1000).collect();
535
536     // small rotations in large slice, uses ptr::copy
537     v = (2..1000).chain(0..2).collect();
538     v.rotate_left(998);
539     assert_eq!(v, expected);
540     v = (998..1000).chain(0..998).collect();
541     v.rotate_left(2);
542     assert_eq!(v, expected);
543
544     // non-small prime rotation, has a few rounds of swapping
545     v = (389..1000).chain(0..389).collect();
546     v.rotate_left(1000-389);
547     assert_eq!(v, expected);
548 }
549
550 #[test]
551 fn test_rotate_right() {
552     let expected: Vec<_> = (0..13).collect();
553     let mut v = Vec::new();
554
555     // no-ops
556     v.clone_from(&expected);
557     v.rotate_right(0);
558     assert_eq!(v, expected);
559     v.rotate_right(expected.len());
560     assert_eq!(v, expected);
561     let mut zst_array = [(), (), ()];
562     zst_array.rotate_right(2);
563
564     // happy path
565     v = (5..13).chain(0..5).collect();
566     v.rotate_right(5);
567     assert_eq!(v, expected);
568
569     let expected: Vec<_> = (0..1000).collect();
570
571     // small rotations in large slice, uses ptr::copy
572     v = (2..1000).chain(0..2).collect();
573     v.rotate_right(2);
574     assert_eq!(v, expected);
575     v = (998..1000).chain(0..998).collect();
576     v.rotate_right(998);
577     assert_eq!(v, expected);
578
579     // non-small prime rotation, has a few rounds of swapping
580     v = (389..1000).chain(0..389).collect();
581     v.rotate_right(389);
582     assert_eq!(v, expected);
583 }
584
585 #[test]
586 fn test_concat() {
587     let v: [Vec<i32>; 0] = [];
588     let c = v.concat();
589     assert_eq!(c, []);
590     let d = [vec![1], vec![2, 3]].concat();
591     assert_eq!(d, [1, 2, 3]);
592
593     let v: &[&[_]] = &[&[1], &[2, 3]];
594     assert_eq!(v.join(&0), [1, 0, 2, 3]);
595     let v: &[&[_]] = &[&[1], &[2], &[3]];
596     assert_eq!(v.join(&0), [1, 0, 2, 0, 3]);
597 }
598
599 #[test]
600 fn test_join() {
601     let v: [Vec<i32>; 0] = [];
602     assert_eq!(v.join(&0), []);
603     assert_eq!([vec![1], vec![2, 3]].join(&0), [1, 0, 2, 3]);
604     assert_eq!([vec![1], vec![2], vec![3]].join(&0), [1, 0, 2, 0, 3]);
605
606     let v: [&[_]; 2] = [&[1], &[2, 3]];
607     assert_eq!(v.join(&0), [1, 0, 2, 3]);
608     let v: [&[_]; 3] = [&[1], &[2], &[3]];
609     assert_eq!(v.join(&0), [1, 0, 2, 0, 3]);
610 }
611
612 #[test]
613 fn test_join_nocopy() {
614     let v: [String; 0] = [];
615     assert_eq!(v.join(","), "");
616     assert_eq!(["a".to_string(), "ab".into()].join(","), "a,ab");
617     assert_eq!(["a".to_string(), "ab".into(), "abc".into()].join(","), "a,ab,abc");
618     assert_eq!(["a".to_string(), "ab".into(), "".into()].join(","), "a,ab,");
619 }
620
621 #[test]
622 fn test_insert() {
623     let mut a = vec![1, 2, 4];
624     a.insert(2, 3);
625     assert_eq!(a, [1, 2, 3, 4]);
626
627     let mut a = vec![1, 2, 3];
628     a.insert(0, 0);
629     assert_eq!(a, [0, 1, 2, 3]);
630
631     let mut a = vec![1, 2, 3];
632     a.insert(3, 4);
633     assert_eq!(a, [1, 2, 3, 4]);
634
635     let mut a = vec![];
636     a.insert(0, 1);
637     assert_eq!(a, [1]);
638 }
639
640 #[test]
641 #[should_panic]
642 fn test_insert_oob() {
643     let mut a = vec![1, 2, 3];
644     a.insert(4, 5);
645 }
646
647 #[test]
648 fn test_remove() {
649     let mut a = vec![1, 2, 3, 4];
650
651     assert_eq!(a.remove(2), 3);
652     assert_eq!(a, [1, 2, 4]);
653
654     assert_eq!(a.remove(2), 4);
655     assert_eq!(a, [1, 2]);
656
657     assert_eq!(a.remove(0), 1);
658     assert_eq!(a, [2]);
659
660     assert_eq!(a.remove(0), 2);
661     assert_eq!(a, []);
662 }
663
664 #[test]
665 #[should_panic]
666 fn test_remove_fail() {
667     let mut a = vec![1];
668     let _ = a.remove(0);
669     let _ = a.remove(0);
670 }
671
672 #[test]
673 fn test_capacity() {
674     let mut v = vec![0];
675     v.reserve_exact(10);
676     assert!(v.capacity() >= 11);
677 }
678
679 #[test]
680 fn test_slice_2() {
681     let v = vec![1, 2, 3, 4, 5];
682     let v = &v[1..3];
683     assert_eq!(v.len(), 2);
684     assert_eq!(v[0], 2);
685     assert_eq!(v[1], 3);
686 }
687
688 macro_rules! assert_order {
689     (Greater, $a:expr, $b:expr) => {
690         assert_eq!($a.cmp($b), Greater);
691         assert!($a > $b);
692     };
693     (Less, $a:expr, $b:expr) => {
694         assert_eq!($a.cmp($b), Less);
695         assert!($a < $b);
696     };
697     (Equal, $a:expr, $b:expr) => {
698         assert_eq!($a.cmp($b), Equal);
699         assert_eq!($a, $b);
700     }
701 }
702
703 #[test]
704 fn test_total_ord_u8() {
705     let c = &[1u8, 2, 3];
706     assert_order!(Greater, &[1u8, 2, 3, 4][..], &c[..]);
707     let c = &[1u8, 2, 3, 4];
708     assert_order!(Less, &[1u8, 2, 3][..], &c[..]);
709     let c = &[1u8, 2, 3, 6];
710     assert_order!(Equal, &[1u8, 2, 3, 6][..], &c[..]);
711     let c = &[1u8, 2, 3, 4, 5, 6];
712     assert_order!(Less, &[1u8, 2, 3, 4, 5, 5, 5, 5][..], &c[..]);
713     let c = &[1u8, 2, 3, 4];
714     assert_order!(Greater, &[2u8, 2][..], &c[..]);
715 }
716
717
718 #[test]
719 fn test_total_ord_i32() {
720     let c = &[1, 2, 3];
721     assert_order!(Greater, &[1, 2, 3, 4][..], &c[..]);
722     let c = &[1, 2, 3, 4];
723     assert_order!(Less, &[1, 2, 3][..], &c[..]);
724     let c = &[1, 2, 3, 6];
725     assert_order!(Equal, &[1, 2, 3, 6][..], &c[..]);
726     let c = &[1, 2, 3, 4, 5, 6];
727     assert_order!(Less, &[1, 2, 3, 4, 5, 5, 5, 5][..], &c[..]);
728     let c = &[1, 2, 3, 4];
729     assert_order!(Greater, &[2, 2][..], &c[..]);
730 }
731
732 #[test]
733 fn test_iterator() {
734     let xs = [1, 2, 5, 10, 11];
735     let mut it = xs.iter();
736     assert_eq!(it.size_hint(), (5, Some(5)));
737     assert_eq!(it.next().unwrap(), &1);
738     assert_eq!(it.size_hint(), (4, Some(4)));
739     assert_eq!(it.next().unwrap(), &2);
740     assert_eq!(it.size_hint(), (3, Some(3)));
741     assert_eq!(it.next().unwrap(), &5);
742     assert_eq!(it.size_hint(), (2, Some(2)));
743     assert_eq!(it.next().unwrap(), &10);
744     assert_eq!(it.size_hint(), (1, Some(1)));
745     assert_eq!(it.next().unwrap(), &11);
746     assert_eq!(it.size_hint(), (0, Some(0)));
747     assert!(it.next().is_none());
748 }
749
750 #[test]
751 fn test_iter_size_hints() {
752     let mut xs = [1, 2, 5, 10, 11];
753     assert_eq!(xs.iter().size_hint(), (5, Some(5)));
754     assert_eq!(xs.iter_mut().size_hint(), (5, Some(5)));
755 }
756
757 #[test]
758 fn test_iter_as_slice() {
759     let xs = [1, 2, 5, 10, 11];
760     let mut iter = xs.iter();
761     assert_eq!(iter.as_slice(), &[1, 2, 5, 10, 11]);
762     iter.next();
763     assert_eq!(iter.as_slice(), &[2, 5, 10, 11]);
764 }
765
766 #[test]
767 fn test_iter_as_ref() {
768     let xs = [1, 2, 5, 10, 11];
769     let mut iter = xs.iter();
770     assert_eq!(iter.as_ref(), &[1, 2, 5, 10, 11]);
771     iter.next();
772     assert_eq!(iter.as_ref(), &[2, 5, 10, 11]);
773 }
774
775 #[test]
776 fn test_iter_clone() {
777     let xs = [1, 2, 5];
778     let mut it = xs.iter();
779     it.next();
780     let mut jt = it.clone();
781     assert_eq!(it.next(), jt.next());
782     assert_eq!(it.next(), jt.next());
783     assert_eq!(it.next(), jt.next());
784 }
785
786 #[test]
787 fn test_iter_is_empty() {
788     let xs = [1, 2, 5, 10, 11];
789     for i in 0..xs.len() {
790         for j in i..xs.len() {
791             assert_eq!(xs[i..j].iter().is_empty(), xs[i..j].is_empty());
792         }
793     }
794 }
795
796 #[test]
797 fn test_mut_iterator() {
798     let mut xs = [1, 2, 3, 4, 5];
799     for x in &mut xs {
800         *x += 1;
801     }
802     assert!(xs == [2, 3, 4, 5, 6])
803 }
804
805 #[test]
806 fn test_rev_iterator() {
807
808     let xs = [1, 2, 5, 10, 11];
809     let ys = [11, 10, 5, 2, 1];
810     let mut i = 0;
811     for &x in xs.iter().rev() {
812         assert_eq!(x, ys[i]);
813         i += 1;
814     }
815     assert_eq!(i, 5);
816 }
817
818 #[test]
819 fn test_mut_rev_iterator() {
820     let mut xs = [1, 2, 3, 4, 5];
821     for (i, x) in xs.iter_mut().rev().enumerate() {
822         *x += i;
823     }
824     assert!(xs == [5, 5, 5, 5, 5])
825 }
826
827 #[test]
828 fn test_move_iterator() {
829     let xs = vec![1, 2, 3, 4, 5];
830     assert_eq!(xs.into_iter().fold(0, |a: usize, b: usize| 10 * a + b),
831                12345);
832 }
833
834 #[test]
835 fn test_move_rev_iterator() {
836     let xs = vec![1, 2, 3, 4, 5];
837     assert_eq!(xs.into_iter().rev().fold(0, |a: usize, b: usize| 10 * a + b),
838                54321);
839 }
840
841 #[test]
842 fn test_splitator() {
843     let xs = &[1, 2, 3, 4, 5];
844
845     let splits: &[&[_]] = &[&[1], &[3], &[5]];
846     assert_eq!(xs.split(|x| *x % 2 == 0).collect::<Vec<_>>(), splits);
847     let splits: &[&[_]] = &[&[], &[2, 3, 4, 5]];
848     assert_eq!(xs.split(|x| *x == 1).collect::<Vec<_>>(), splits);
849     let splits: &[&[_]] = &[&[1, 2, 3, 4], &[]];
850     assert_eq!(xs.split(|x| *x == 5).collect::<Vec<_>>(), splits);
851     let splits: &[&[_]] = &[&[1, 2, 3, 4, 5]];
852     assert_eq!(xs.split(|x| *x == 10).collect::<Vec<_>>(), splits);
853     let splits: &[&[_]] = &[&[], &[], &[], &[], &[], &[]];
854     assert_eq!(xs.split(|_| true).collect::<Vec<&[i32]>>(), splits);
855
856     let xs: &[i32] = &[];
857     let splits: &[&[i32]] = &[&[]];
858     assert_eq!(xs.split(|x| *x == 5).collect::<Vec<&[i32]>>(), splits);
859 }
860
861 #[test]
862 fn test_splitnator() {
863     let xs = &[1, 2, 3, 4, 5];
864
865     let splits: &[&[_]] = &[&[1, 2, 3, 4, 5]];
866     assert_eq!(xs.splitn(1, |x| *x % 2 == 0).collect::<Vec<_>>(), splits);
867     let splits: &[&[_]] = &[&[1], &[3, 4, 5]];
868     assert_eq!(xs.splitn(2, |x| *x % 2 == 0).collect::<Vec<_>>(), splits);
869     let splits: &[&[_]] = &[&[], &[], &[], &[4, 5]];
870     assert_eq!(xs.splitn(4, |_| true).collect::<Vec<_>>(), splits);
871
872     let xs: &[i32] = &[];
873     let splits: &[&[i32]] = &[&[]];
874     assert_eq!(xs.splitn(2, |x| *x == 5).collect::<Vec<_>>(), splits);
875 }
876
877 #[test]
878 fn test_splitnator_mut() {
879     let xs = &mut [1, 2, 3, 4, 5];
880
881     let splits: &[&mut [_]] = &[&mut [1, 2, 3, 4, 5]];
882     assert_eq!(xs.splitn_mut(1, |x| *x % 2 == 0).collect::<Vec<_>>(),
883                splits);
884     let splits: &[&mut [_]] = &[&mut [1], &mut [3, 4, 5]];
885     assert_eq!(xs.splitn_mut(2, |x| *x % 2 == 0).collect::<Vec<_>>(),
886                splits);
887     let splits: &[&mut [_]] = &[&mut [], &mut [], &mut [], &mut [4, 5]];
888     assert_eq!(xs.splitn_mut(4, |_| true).collect::<Vec<_>>(), splits);
889
890     let xs: &mut [i32] = &mut [];
891     let splits: &[&mut [i32]] = &[&mut []];
892     assert_eq!(xs.splitn_mut(2, |x| *x == 5).collect::<Vec<_>>(), splits);
893 }
894
895 #[test]
896 fn test_rsplitator() {
897     let xs = &[1, 2, 3, 4, 5];
898
899     let splits: &[&[_]] = &[&[5], &[3], &[1]];
900     assert_eq!(xs.split(|x| *x % 2 == 0).rev().collect::<Vec<_>>(), splits);
901     let splits: &[&[_]] = &[&[2, 3, 4, 5], &[]];
902     assert_eq!(xs.split(|x| *x == 1).rev().collect::<Vec<_>>(), splits);
903     let splits: &[&[_]] = &[&[], &[1, 2, 3, 4]];
904     assert_eq!(xs.split(|x| *x == 5).rev().collect::<Vec<_>>(), splits);
905     let splits: &[&[_]] = &[&[1, 2, 3, 4, 5]];
906     assert_eq!(xs.split(|x| *x == 10).rev().collect::<Vec<_>>(), splits);
907
908     let xs: &[i32] = &[];
909     let splits: &[&[i32]] = &[&[]];
910     assert_eq!(xs.split(|x| *x == 5).rev().collect::<Vec<&[i32]>>(), splits);
911 }
912
913 #[test]
914 fn test_rsplitnator() {
915     let xs = &[1, 2, 3, 4, 5];
916
917     let splits: &[&[_]] = &[&[1, 2, 3, 4, 5]];
918     assert_eq!(xs.rsplitn(1, |x| *x % 2 == 0).collect::<Vec<_>>(), splits);
919     let splits: &[&[_]] = &[&[5], &[1, 2, 3]];
920     assert_eq!(xs.rsplitn(2, |x| *x % 2 == 0).collect::<Vec<_>>(), splits);
921     let splits: &[&[_]] = &[&[], &[], &[], &[1, 2]];
922     assert_eq!(xs.rsplitn(4, |_| true).collect::<Vec<_>>(), splits);
923
924     let xs: &[i32] = &[];
925     let splits: &[&[i32]] = &[&[]];
926     assert_eq!(xs.rsplitn(2, |x| *x == 5).collect::<Vec<&[i32]>>(), splits);
927     assert!(xs.rsplitn(0, |x| *x % 2 == 0).next().is_none());
928 }
929
930 #[test]
931 fn test_windowsator() {
932     let v = &[1, 2, 3, 4];
933
934     let wins: &[&[_]] = &[&[1, 2], &[2, 3], &[3, 4]];
935     assert_eq!(v.windows(2).collect::<Vec<_>>(), wins);
936
937     let wins: &[&[_]] = &[&[1, 2, 3], &[2, 3, 4]];
938     assert_eq!(v.windows(3).collect::<Vec<_>>(), wins);
939     assert!(v.windows(6).next().is_none());
940
941     let wins: &[&[_]] = &[&[3, 4], &[2, 3], &[1, 2]];
942     assert_eq!(v.windows(2).rev().collect::<Vec<&[_]>>(), wins);
943 }
944
945 #[test]
946 #[should_panic]
947 fn test_windowsator_0() {
948     let v = &[1, 2, 3, 4];
949     let _it = v.windows(0);
950 }
951
952 #[test]
953 fn test_chunksator() {
954     let v = &[1, 2, 3, 4, 5];
955
956     assert_eq!(v.chunks(2).len(), 3);
957
958     let chunks: &[&[_]] = &[&[1, 2], &[3, 4], &[5]];
959     assert_eq!(v.chunks(2).collect::<Vec<_>>(), chunks);
960     let chunks: &[&[_]] = &[&[1, 2, 3], &[4, 5]];
961     assert_eq!(v.chunks(3).collect::<Vec<_>>(), chunks);
962     let chunks: &[&[_]] = &[&[1, 2, 3, 4, 5]];
963     assert_eq!(v.chunks(6).collect::<Vec<_>>(), chunks);
964
965     let chunks: &[&[_]] = &[&[5], &[3, 4], &[1, 2]];
966     assert_eq!(v.chunks(2).rev().collect::<Vec<_>>(), chunks);
967 }
968
969 #[test]
970 #[should_panic]
971 fn test_chunksator_0() {
972     let v = &[1, 2, 3, 4];
973     let _it = v.chunks(0);
974 }
975
976 #[test]
977 fn test_chunks_exactator() {
978     let v = &[1, 2, 3, 4, 5];
979
980     assert_eq!(v.chunks_exact(2).len(), 2);
981
982     let chunks: &[&[_]] = &[&[1, 2], &[3, 4]];
983     assert_eq!(v.chunks_exact(2).collect::<Vec<_>>(), chunks);
984     let chunks: &[&[_]] = &[&[1, 2, 3]];
985     assert_eq!(v.chunks_exact(3).collect::<Vec<_>>(), chunks);
986     let chunks: &[&[_]] = &[];
987     assert_eq!(v.chunks_exact(6).collect::<Vec<_>>(), chunks);
988
989     let chunks: &[&[_]] = &[&[3, 4], &[1, 2]];
990     assert_eq!(v.chunks_exact(2).rev().collect::<Vec<_>>(), chunks);
991 }
992
993 #[test]
994 #[should_panic]
995 fn test_chunks_exactator_0() {
996     let v = &[1, 2, 3, 4];
997     let _it = v.chunks_exact(0);
998 }
999
1000 #[test]
1001 fn test_rchunksator() {
1002     let v = &[1, 2, 3, 4, 5];
1003
1004     assert_eq!(v.rchunks(2).len(), 3);
1005
1006     let chunks: &[&[_]] = &[&[4, 5], &[2, 3], &[1]];
1007     assert_eq!(v.rchunks(2).collect::<Vec<_>>(), chunks);
1008     let chunks: &[&[_]] = &[&[3, 4, 5], &[1, 2]];
1009     assert_eq!(v.rchunks(3).collect::<Vec<_>>(), chunks);
1010     let chunks: &[&[_]] = &[&[1, 2, 3, 4, 5]];
1011     assert_eq!(v.rchunks(6).collect::<Vec<_>>(), chunks);
1012
1013     let chunks: &[&[_]] = &[&[1], &[2, 3], &[4, 5]];
1014     assert_eq!(v.rchunks(2).rev().collect::<Vec<_>>(), chunks);
1015 }
1016
1017 #[test]
1018 #[should_panic]
1019 fn test_rchunksator_0() {
1020     let v = &[1, 2, 3, 4];
1021     let _it = v.rchunks(0);
1022 }
1023
1024 #[test]
1025 fn test_rchunks_exactator() {
1026     let v = &[1, 2, 3, 4, 5];
1027
1028     assert_eq!(v.rchunks_exact(2).len(), 2);
1029
1030     let chunks: &[&[_]] = &[&[4, 5], &[2, 3]];
1031     assert_eq!(v.rchunks_exact(2).collect::<Vec<_>>(), chunks);
1032     let chunks: &[&[_]] = &[&[3, 4, 5]];
1033     assert_eq!(v.rchunks_exact(3).collect::<Vec<_>>(), chunks);
1034     let chunks: &[&[_]] = &[];
1035     assert_eq!(v.rchunks_exact(6).collect::<Vec<_>>(), chunks);
1036
1037     let chunks: &[&[_]] = &[&[2, 3], &[4, 5]];
1038     assert_eq!(v.rchunks_exact(2).rev().collect::<Vec<_>>(), chunks);
1039 }
1040
1041 #[test]
1042 #[should_panic]
1043 fn test_rchunks_exactator_0() {
1044     let v = &[1, 2, 3, 4];
1045     let _it = v.rchunks_exact(0);
1046 }
1047
1048 #[test]
1049 fn test_reverse_part() {
1050     let mut values = [1, 2, 3, 4, 5];
1051     values[1..4].reverse();
1052     assert!(values == [1, 4, 3, 2, 5]);
1053 }
1054
1055 #[test]
1056 fn test_show() {
1057     macro_rules! test_show_vec {
1058         ($x:expr, $x_str:expr) => ({
1059             let (x, x_str) = ($x, $x_str);
1060             assert_eq!(format!("{:?}", x), x_str);
1061             assert_eq!(format!("{:?}", x), x_str);
1062         })
1063     }
1064     let empty = Vec::<i32>::new();
1065     test_show_vec!(empty, "[]");
1066     test_show_vec!(vec![1], "[1]");
1067     test_show_vec!(vec![1, 2, 3], "[1, 2, 3]");
1068     test_show_vec!(vec![vec![], vec![1], vec![1, 1]], "[[], [1], [1, 1]]");
1069
1070     let empty_mut: &mut [i32] = &mut [];
1071     test_show_vec!(empty_mut, "[]");
1072     let v = &mut [1];
1073     test_show_vec!(v, "[1]");
1074     let v = &mut [1, 2, 3];
1075     test_show_vec!(v, "[1, 2, 3]");
1076     let v: &mut [&mut [_]] = &mut [&mut [], &mut [1], &mut [1, 1]];
1077     test_show_vec!(v, "[[], [1], [1, 1]]");
1078 }
1079
1080 #[test]
1081 fn test_vec_default() {
1082     macro_rules! t {
1083         ($ty:ty) => {{
1084             let v: $ty = Default::default();
1085             assert!(v.is_empty());
1086         }}
1087     }
1088
1089     t!(&[i32]);
1090     t!(Vec<i32>);
1091 }
1092
1093 #[test]
1094 #[should_panic]
1095 fn test_overflow_does_not_cause_segfault() {
1096     let mut v = vec![];
1097     v.reserve_exact(!0);
1098     v.push(1);
1099     v.push(2);
1100 }
1101
1102 #[test]
1103 #[should_panic]
1104 fn test_overflow_does_not_cause_segfault_managed() {
1105     let mut v = vec![Rc::new(1)];
1106     v.reserve_exact(!0);
1107     v.push(Rc::new(2));
1108 }
1109
1110 #[test]
1111 fn test_mut_split_at() {
1112     let mut values = [1, 2, 3, 4, 5];
1113     {
1114         let (left, right) = values.split_at_mut(2);
1115         {
1116             let left: &[_] = left;
1117             assert!(left[..left.len()] == [1, 2]);
1118         }
1119         for p in left {
1120             *p += 1;
1121         }
1122
1123         {
1124             let right: &[_] = right;
1125             assert!(right[..right.len()] == [3, 4, 5]);
1126         }
1127         for p in right {
1128             *p += 2;
1129         }
1130     }
1131
1132     assert!(values == [2, 3, 5, 6, 7]);
1133 }
1134
1135 #[derive(Clone, PartialEq)]
1136 struct Foo;
1137
1138 #[test]
1139 fn test_iter_zero_sized() {
1140     let mut v = vec![Foo, Foo, Foo];
1141     assert_eq!(v.len(), 3);
1142     let mut cnt = 0;
1143
1144     for f in &v {
1145         assert!(*f == Foo);
1146         cnt += 1;
1147     }
1148     assert_eq!(cnt, 3);
1149
1150     for f in &v[1..3] {
1151         assert!(*f == Foo);
1152         cnt += 1;
1153     }
1154     assert_eq!(cnt, 5);
1155
1156     for f in &mut v {
1157         assert!(*f == Foo);
1158         cnt += 1;
1159     }
1160     assert_eq!(cnt, 8);
1161
1162     for f in v {
1163         assert!(f == Foo);
1164         cnt += 1;
1165     }
1166     assert_eq!(cnt, 11);
1167
1168     let xs: [Foo; 3] = [Foo, Foo, Foo];
1169     cnt = 0;
1170     for f in &xs {
1171         assert!(*f == Foo);
1172         cnt += 1;
1173     }
1174     assert!(cnt == 3);
1175 }
1176
1177 #[test]
1178 fn test_shrink_to_fit() {
1179     let mut xs = vec![0, 1, 2, 3];
1180     for i in 4..100 {
1181         xs.push(i)
1182     }
1183     assert_eq!(xs.capacity(), 128);
1184     xs.shrink_to_fit();
1185     assert_eq!(xs.capacity(), 100);
1186     assert_eq!(xs, (0..100).collect::<Vec<_>>());
1187 }
1188
1189 #[test]
1190 fn test_starts_with() {
1191     assert!(b"foobar".starts_with(b"foo"));
1192     assert!(!b"foobar".starts_with(b"oob"));
1193     assert!(!b"foobar".starts_with(b"bar"));
1194     assert!(!b"foo".starts_with(b"foobar"));
1195     assert!(!b"bar".starts_with(b"foobar"));
1196     assert!(b"foobar".starts_with(b"foobar"));
1197     let empty: &[u8] = &[];
1198     assert!(empty.starts_with(empty));
1199     assert!(!empty.starts_with(b"foo"));
1200     assert!(b"foobar".starts_with(empty));
1201 }
1202
1203 #[test]
1204 fn test_ends_with() {
1205     assert!(b"foobar".ends_with(b"bar"));
1206     assert!(!b"foobar".ends_with(b"oba"));
1207     assert!(!b"foobar".ends_with(b"foo"));
1208     assert!(!b"foo".ends_with(b"foobar"));
1209     assert!(!b"bar".ends_with(b"foobar"));
1210     assert!(b"foobar".ends_with(b"foobar"));
1211     let empty: &[u8] = &[];
1212     assert!(empty.ends_with(empty));
1213     assert!(!empty.ends_with(b"foo"));
1214     assert!(b"foobar".ends_with(empty));
1215 }
1216
1217 #[test]
1218 fn test_mut_splitator() {
1219     let mut xs = [0, 1, 0, 2, 3, 0, 0, 4, 5, 0];
1220     assert_eq!(xs.split_mut(|x| *x == 0).count(), 6);
1221     for slice in xs.split_mut(|x| *x == 0) {
1222         slice.reverse();
1223     }
1224     assert!(xs == [0, 1, 0, 3, 2, 0, 0, 5, 4, 0]);
1225
1226     let mut xs = [0, 1, 0, 2, 3, 0, 0, 4, 5, 0, 6, 7];
1227     for slice in xs.split_mut(|x| *x == 0).take(5) {
1228         slice.reverse();
1229     }
1230     assert!(xs == [0, 1, 0, 3, 2, 0, 0, 5, 4, 0, 6, 7]);
1231 }
1232
1233 #[test]
1234 fn test_mut_splitator_rev() {
1235     let mut xs = [1, 2, 0, 3, 4, 0, 0, 5, 6, 0];
1236     for slice in xs.split_mut(|x| *x == 0).rev().take(4) {
1237         slice.reverse();
1238     }
1239     assert!(xs == [1, 2, 0, 4, 3, 0, 0, 6, 5, 0]);
1240 }
1241
1242 #[test]
1243 fn test_get_mut() {
1244     let mut v = [0, 1, 2];
1245     assert_eq!(v.get_mut(3), None);
1246     v.get_mut(1).map(|e| *e = 7);
1247     assert_eq!(v[1], 7);
1248     let mut x = 2;
1249     assert_eq!(v.get_mut(2), Some(&mut x));
1250 }
1251
1252 #[test]
1253 fn test_mut_chunks() {
1254     let mut v = [0, 1, 2, 3, 4, 5, 6];
1255     assert_eq!(v.chunks_mut(3).len(), 3);
1256     for (i, chunk) in v.chunks_mut(3).enumerate() {
1257         for x in chunk {
1258             *x = i as u8;
1259         }
1260     }
1261     let result = [0, 0, 0, 1, 1, 1, 2];
1262     assert_eq!(v, result);
1263 }
1264
1265 #[test]
1266 fn test_mut_chunks_rev() {
1267     let mut v = [0, 1, 2, 3, 4, 5, 6];
1268     for (i, chunk) in v.chunks_mut(3).rev().enumerate() {
1269         for x in chunk {
1270             *x = i as u8;
1271         }
1272     }
1273     let result = [2, 2, 2, 1, 1, 1, 0];
1274     assert_eq!(v, result);
1275 }
1276
1277 #[test]
1278 #[should_panic]
1279 fn test_mut_chunks_0() {
1280     let mut v = [1, 2, 3, 4];
1281     let _it = v.chunks_mut(0);
1282 }
1283
1284 #[test]
1285 fn test_mut_chunks_exact() {
1286     let mut v = [0, 1, 2, 3, 4, 5, 6];
1287     assert_eq!(v.chunks_exact_mut(3).len(), 2);
1288     for (i, chunk) in v.chunks_exact_mut(3).enumerate() {
1289         for x in chunk {
1290             *x = i as u8;
1291         }
1292     }
1293     let result = [0, 0, 0, 1, 1, 1, 6];
1294     assert_eq!(v, result);
1295 }
1296
1297 #[test]
1298 fn test_mut_chunks_exact_rev() {
1299     let mut v = [0, 1, 2, 3, 4, 5, 6];
1300     for (i, chunk) in v.chunks_exact_mut(3).rev().enumerate() {
1301         for x in chunk {
1302             *x = i as u8;
1303         }
1304     }
1305     let result = [1, 1, 1, 0, 0, 0, 6];
1306     assert_eq!(v, result);
1307 }
1308
1309 #[test]
1310 #[should_panic]
1311 fn test_mut_chunks_exact_0() {
1312     let mut v = [1, 2, 3, 4];
1313     let _it = v.chunks_exact_mut(0);
1314 }
1315
1316 #[test]
1317 fn test_mut_rchunks() {
1318     let mut v = [0, 1, 2, 3, 4, 5, 6];
1319     assert_eq!(v.rchunks_mut(3).len(), 3);
1320     for (i, chunk) in v.rchunks_mut(3).enumerate() {
1321         for x in chunk {
1322             *x = i as u8;
1323         }
1324     }
1325     let result = [2, 1, 1, 1, 0, 0, 0];
1326     assert_eq!(v, result);
1327 }
1328
1329 #[test]
1330 fn test_mut_rchunks_rev() {
1331     let mut v = [0, 1, 2, 3, 4, 5, 6];
1332     for (i, chunk) in v.rchunks_mut(3).rev().enumerate() {
1333         for x in chunk {
1334             *x = i as u8;
1335         }
1336     }
1337     let result = [0, 1, 1, 1, 2, 2, 2];
1338     assert_eq!(v, result);
1339 }
1340
1341 #[test]
1342 #[should_panic]
1343 fn test_mut_rchunks_0() {
1344     let mut v = [1, 2, 3, 4];
1345     let _it = v.rchunks_mut(0);
1346 }
1347
1348 #[test]
1349 fn test_mut_rchunks_exact() {
1350     let mut v = [0, 1, 2, 3, 4, 5, 6];
1351     assert_eq!(v.rchunks_exact_mut(3).len(), 2);
1352     for (i, chunk) in v.rchunks_exact_mut(3).enumerate() {
1353         for x in chunk {
1354             *x = i as u8;
1355         }
1356     }
1357     let result = [0, 1, 1, 1, 0, 0, 0];
1358     assert_eq!(v, result);
1359 }
1360
1361 #[test]
1362 fn test_mut_rchunks_exact_rev() {
1363     let mut v = [0, 1, 2, 3, 4, 5, 6];
1364     for (i, chunk) in v.rchunks_exact_mut(3).rev().enumerate() {
1365         for x in chunk {
1366             *x = i as u8;
1367         }
1368     }
1369     let result = [0, 0, 0, 0, 1, 1, 1];
1370     assert_eq!(v, result);
1371 }
1372
1373 #[test]
1374 #[should_panic]
1375 fn test_mut_rchunks_exact_0() {
1376     let mut v = [1, 2, 3, 4];
1377     let _it = v.rchunks_exact_mut(0);
1378 }
1379
1380 #[test]
1381 fn test_mut_last() {
1382     let mut x = [1, 2, 3, 4, 5];
1383     let h = x.last_mut();
1384     assert_eq!(*h.unwrap(), 5);
1385
1386     let y: &mut [i32] = &mut [];
1387     assert!(y.last_mut().is_none());
1388 }
1389
1390 #[test]
1391 fn test_to_vec() {
1392     let xs: Box<_> = box [1, 2, 3];
1393     let ys = xs.to_vec();
1394     assert_eq!(ys, [1, 2, 3]);
1395 }
1396
1397 #[test]
1398 fn test_box_slice_clone() {
1399     let data = vec![vec![0, 1], vec![0], vec![1]];
1400     let data2 = data.clone().into_boxed_slice().clone().to_vec();
1401
1402     assert_eq!(data, data2);
1403 }
1404
1405 #[test]
1406 #[allow(unused_must_use)] // here, we care about the side effects of `.clone()`
1407 #[cfg_attr(target_os = "emscripten", ignore)]
1408 fn test_box_slice_clone_panics() {
1409     use std::sync::Arc;
1410     use std::sync::atomic::{AtomicUsize, Ordering};
1411
1412     struct Canary {
1413         count: Arc<AtomicUsize>,
1414         panics: bool,
1415     }
1416
1417     impl Drop for Canary {
1418         fn drop(&mut self) {
1419             self.count.fetch_add(1, Ordering::SeqCst);
1420         }
1421     }
1422
1423     impl Clone for Canary {
1424         fn clone(&self) -> Self {
1425             if self.panics {
1426                 panic!()
1427             }
1428
1429             Canary {
1430                 count: self.count.clone(),
1431                 panics: self.panics,
1432             }
1433         }
1434     }
1435
1436     let drop_count = Arc::new(AtomicUsize::new(0));
1437     let canary = Canary {
1438         count: drop_count.clone(),
1439         panics: false,
1440     };
1441     let panic = Canary {
1442         count: drop_count.clone(),
1443         panics: true,
1444     };
1445
1446     std::panic::catch_unwind(move || {
1447             // When xs is dropped, +5.
1448             let xs = vec![canary.clone(), canary.clone(), canary.clone(), panic, canary]
1449                 .into_boxed_slice();
1450
1451             // When panic is cloned, +3.
1452             xs.clone();
1453         })
1454         .unwrap_err();
1455
1456     // Total = 8
1457     assert_eq!(drop_count.load(Ordering::SeqCst), 8);
1458 }
1459
1460 #[test]
1461 fn test_copy_from_slice() {
1462     let src = [0, 1, 2, 3, 4, 5];
1463     let mut dst = [0; 6];
1464     dst.copy_from_slice(&src);
1465     assert_eq!(src, dst)
1466 }
1467
1468 #[test]
1469 #[should_panic(expected = "destination and source slices have different lengths")]
1470 fn test_copy_from_slice_dst_longer() {
1471     let src = [0, 1, 2, 3];
1472     let mut dst = [0; 5];
1473     dst.copy_from_slice(&src);
1474 }
1475
1476 #[test]
1477 #[should_panic(expected = "destination and source slices have different lengths")]
1478 fn test_copy_from_slice_dst_shorter() {
1479     let src = [0, 1, 2, 3];
1480     let mut dst = [0; 3];
1481     dst.copy_from_slice(&src);
1482 }
1483
1484 const MAX_LEN: usize = 80;
1485
1486 static DROP_COUNTS: [AtomicUsize; MAX_LEN] = [
1487     // FIXME(RFC 1109): AtomicUsize is not Copy.
1488     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1489     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1490     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1491     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1492     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1493     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1494     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1495     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1496     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1497     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1498     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1499     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1500     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1501     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1502     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1503     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1504     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1505     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1506     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1507     AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0), AtomicUsize::new(0),
1508 ];
1509
1510 static VERSIONS: AtomicUsize = AtomicUsize::new(0);
1511
1512 #[derive(Clone, Eq)]
1513 struct DropCounter {
1514     x: u32,
1515     id: usize,
1516     version: Cell<usize>,
1517 }
1518
1519 impl PartialEq for DropCounter {
1520     fn eq(&self, other: &Self) -> bool {
1521         self.partial_cmp(other) == Some(Ordering::Equal)
1522     }
1523 }
1524
1525 impl PartialOrd for DropCounter {
1526     fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
1527         self.version.set(self.version.get() + 1);
1528         other.version.set(other.version.get() + 1);
1529         VERSIONS.fetch_add(2, Relaxed);
1530         self.x.partial_cmp(&other.x)
1531     }
1532 }
1533
1534 impl Ord for DropCounter {
1535     fn cmp(&self, other: &Self) -> Ordering {
1536         self.partial_cmp(other).unwrap()
1537     }
1538 }
1539
1540 impl Drop for DropCounter {
1541     fn drop(&mut self) {
1542         DROP_COUNTS[self.id].fetch_add(1, Relaxed);
1543         VERSIONS.fetch_sub(self.version.get(), Relaxed);
1544     }
1545 }
1546
1547 macro_rules! test {
1548     ($input:ident, $func:ident) => {
1549         let len = $input.len();
1550
1551         // Work out the total number of comparisons required to sort
1552         // this array...
1553         let mut count = 0usize;
1554         $input.to_owned().$func(|a, b| { count += 1; a.cmp(b) });
1555
1556         // ... and then panic on each and every single one.
1557         for panic_countdown in 0..count {
1558             // Refresh the counters.
1559             VERSIONS.store(0, Relaxed);
1560             for i in 0..len {
1561                 DROP_COUNTS[i].store(0, Relaxed);
1562             }
1563
1564             let v = $input.to_owned();
1565             let _ = std::panic::catch_unwind(move || {
1566                 let mut v = v;
1567                 let mut panic_countdown = panic_countdown;
1568                 v.$func(|a, b| {
1569                     if panic_countdown == 0 {
1570                         SILENCE_PANIC.with(|s| s.set(true));
1571                         panic!();
1572                     }
1573                     panic_countdown -= 1;
1574                     a.cmp(b)
1575                 })
1576             });
1577
1578             // Check that the number of things dropped is exactly
1579             // what we expect (i.e., the contents of `v`).
1580             for (i, c) in DROP_COUNTS.iter().enumerate().take(len) {
1581                 let count = c.load(Relaxed);
1582                 assert!(count == 1,
1583                         "found drop count == {} for i == {}, len == {}",
1584                         count, i, len);
1585             }
1586
1587             // Check that the most recent versions of values were dropped.
1588             assert_eq!(VERSIONS.load(Relaxed), 0);
1589         }
1590     }
1591 }
1592
1593 thread_local!(static SILENCE_PANIC: Cell<bool> = Cell::new(false));
1594
1595 #[test]
1596 #[cfg_attr(target_os = "emscripten", ignore)] // no threads
1597 fn panic_safe() {
1598     let prev = panic::take_hook();
1599     panic::set_hook(Box::new(move |info| {
1600         if !SILENCE_PANIC.with(|s| s.get()) {
1601             prev(info);
1602         }
1603     }));
1604
1605     let mut rng = thread_rng();
1606
1607     #[cfg(not(miri))] // Miri is too slow
1608     let large_range = 70..MAX_LEN;
1609     #[cfg(miri)]
1610     let large_range = 0..0; // empty range
1611
1612     for len in (1..20).chain(large_range) {
1613         for &modulus in &[5, 20, 50] {
1614             for &has_runs in &[false, true] {
1615                 let mut input = (0..len)
1616                     .map(|id| {
1617                         DropCounter {
1618                             x: rng.next_u32() % modulus,
1619                             id: id,
1620                             version: Cell::new(0),
1621                         }
1622                     })
1623                     .collect::<Vec<_>>();
1624
1625                 if has_runs {
1626                     for c in &mut input {
1627                         c.x = c.id as u32;
1628                     }
1629
1630                     for _ in 0..5 {
1631                         let a = rng.gen::<usize>() % len;
1632                         let b = rng.gen::<usize>() % len;
1633                         if a < b {
1634                             input[a..b].reverse();
1635                         } else {
1636                             input.swap(a, b);
1637                         }
1638                     }
1639                 }
1640
1641                 test!(input, sort_by);
1642                 test!(input, sort_unstable_by);
1643             }
1644         }
1645     }
1646 }
1647
1648 #[test]
1649 fn repeat_generic_slice() {
1650     assert_eq!([1, 2].repeat(2), vec![1, 2, 1, 2]);
1651     assert_eq!([1, 2, 3, 4].repeat(0), vec![]);
1652     assert_eq!([1, 2, 3, 4].repeat(1), vec![1, 2, 3, 4]);
1653     assert_eq!(
1654         [1, 2, 3, 4].repeat(3),
1655         vec![1, 2, 3, 4, 1, 2, 3, 4, 1, 2, 3, 4]
1656     );
1657 }