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.
6 #![feature(box_syntax)]
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 } }
18 impl<T:MyCopy> Get for T {
19 fn get(&self) -> T { self.copy() }
22 impl Get for Box<i32> {
23 fn get(&self) -> Box<i32> { box get_it(&**self) }
26 fn get_it<T:Get>(t: &T) -> T {
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));