| //@ check-pass | |
| // Test that you can list the more specific impl before the more general one. | |
| #![feature(specialization)] //~ WARN the feature `specialization` is incomplete | |
| trait Foo { | |
| type Out; | |
| } | |
| impl Foo for bool { | |
| type Out = (); | |
| } | |
| impl<T> Foo for T { | |
| default type Out = bool; | |
| } | |
| fn main() {} |