src/test/ui/traits/conditional-dispatch.rs

   1 // run-pass
   2 // Test that we are able to resolve conditional dispatch.  Here, the
   3 // blanket impl for T:Copy coexists with an impl for Box<T>, because
   4 // Box does not impl Copy.
   5
   6 #![feature(box_syntax)]
   7
   8 trait Get {
   9     fn get(&self) -> Self;
  10 }
  11
  12 trait MyCopy { fn copy(&self) -> Self; }
  13 impl MyCopy for u16 { fn copy(&self) -> Self { *self } }
  14 impl MyCopy for u32 { fn copy(&self) -> Self { *self } }
  15 impl MyCopy for i32 { fn copy(&self) -> Self { *self } }
  16 impl<T:Copy> MyCopy for Option<T> { fn copy(&self) -> Self { *self } }
  17
  18 impl<T:MyCopy> Get for T {
  19     fn get(&self) -> T { self.copy() }
  20 }
  21
  22 impl Get for Box<i32> {
  23     fn get(&self) -> Box<i32> { box get_it(&**self) }
  24 }
  25
  26 fn get_it<T:Get>(t: &T) -> T {
  27     (*t).get()
  28 }
  29
  30 fn main() {
  31     assert_eq!(get_it(&1_u32), 1_u32);
  32     assert_eq!(get_it(&1_u16), 1_u16);
  33     assert_eq!(get_it(&Some(1_u16)), Some(1_u16));
  34     assert_eq!(get_it(&Box::new(1)), Box::new(1));
  35 }