rust/tests/ui/specialization/defaultimpl/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 = ();
}
default impl<T> Foo for T {
type Out = bool;
}
fn main() {}