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.
11 trait MyCopy { fn copy(&self) -> Self; }
12 impl MyCopy for u16 { fn copy(&self) -> Self { *self } }
13 impl MyCopy for u32 { fn copy(&self) -> Self { *self } }
14 impl MyCopy for i32 { fn copy(&self) -> Self { *self } }
15 impl<T:Copy> MyCopy for Option<T> { fn copy(&self) -> Self { *self } }
17 impl<T:MyCopy> Get for T {
18 fn get(&self) -> T { self.copy() }
21 impl Get for Box<i32> {
22 fn get(&self) -> Box<i32> { Box::new(get_it(&**self)) }
25 fn get_it<T:Get>(t: &T) -> T {
30 assert_eq!(get_it(&1_u32), 1_u32);
31 assert_eq!(get_it(&1_u16), 1_u16);
32 assert_eq!(get_it(&Some(1_u16)), Some(1_u16));
33 assert_eq!(get_it(&Box::new(1)), Box::new(1));