src/test/ui/specialization/defaultimpl/out-of-order.rs

   1 // run-pass
   2
   3 // Test that you can list the more specific impl before the more general one.
   4
   5 #![feature(specialization)] //~ WARN the feature `specialization` is incomplete
   6
   7 trait Foo {
   8     type Out;
   9 }
  10
  11 impl Foo for bool {
  12     type Out = ();
  13 }
  14
  15 default impl<T> Foo for T {
  16     type Out = bool;
  17 }
  18
  19 fn main() {}