src/test/ui/coherence/coherence-projection-ok.rs

   1 // check-pass
   2
   3 pub trait Foo<P> {}
   4
   5 pub trait Bar {
   6     type Output: 'static;
   7 }
   8
   9 impl Foo<i32> for i32 { }
  10
  11 impl<A:Bar> Foo<A::Output> for A { }
  12
  13 impl Bar for i32 {
  14     type Output = u32;
  15 }
  16
  17 fn main() {}