[rustc.git] / src / test / ui / specialization / specialization-out-of-order.rs

// run-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() {}
Commit	Line	Data
b7449926 XL	1	// run-pass
b7449926 XL	2
54a0048b	3	// Test that you can list the more specific impl before the more general one.
d9579d0f	4
f035d41b	5	#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
54a0048b SL	6
	7	trait Foo {
	8	type Out;
	9	}
	10
	11	impl Foo for bool {
	12	type Out = ();
	13	}
	14
	15	impl<T> Foo for T {
	16	default type Out = bool;
223e47cc LB	17	}
	18
	19	fn main() {}