| //@ run-pass |
| |
| // Ensure that provided items are inherited properly even when impls vary in |
| // type parameters *and* rely on projections. |
| |
| #![feature(specialization)] //~ WARN the feature `specialization` is incomplete |
| |
| |
| trait Trait { |
| fn to_u8(&self) -> u8; |
| } |
| trait WithAssoc { |
| type Item; |
| fn to_item(&self) -> Self::Item; |
| } |
| |
| impl<T, U> Trait for T where T: WithAssoc<Item=U>, U: Into<u8> { |
| fn to_u8(&self) -> u8 { |
| self.to_item().into() |
| } |
| } |
| |
| impl WithAssoc for u8 { |
| type Item = u8; |
| fn to_item(&self) -> u8 { *self } |
| } |
| |
| impl Trait for u8 {} |
| |
| fn main() { |
| assert!(3u8.to_u8() == 3u8); |
| } |
