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