| //@ check-pass | |
| #![feature(specialization)] | |
| // Test that you can specialize via an explicit trait hierarchy | |
| // FIXME: this doesn't work yet... | |
| trait Parent {} | |
| trait Child: Parent {} | |
| trait Foo {} | |
| impl<T: Parent> Foo for T {} | |
| impl<T: Child> Foo for T {} | |
| fn main() {} |