tests/ui/coherence/coherence-projection-conflict.rs

   1 use std::marker::PhantomData;
   2
   3 pub trait Foo<P> { fn foo() {} }
   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 //~^ ERROR E0119
  13
  14 impl Bar for i32 {
  15     type Output = i32;
  16 }
  17
  18 fn main() {}