rust/tests/ui/specialization/specialization-out-of-order.rs

20 lines
312 B
Rust

//@ 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() {}