src/test/ui/specialization/defaultimpl/specialization-wfcheck.rs

   1 // Tests that a default impl still has to have a WF trait ref.
   2
   3 #![feature(specialization)]
   4
   5 trait Foo<'a, T: Eq + 'a> { }
   6
   7 default impl<U> Foo<'static, U> for () {}
   8 //~^ ERROR the trait bound `U: std::cmp::Eq` is not satisfied
   9
  10 fn main(){}