tests/ui/wf/wf-trait-default-fn-where-clause.rs

   1 // Check that we test WF conditions for fn arguments. Because the
   2 // current code is so goofy, this is only a warning for now.
   3
   4
   5 #![allow(dead_code)]
   6 #![allow(unused_variables)]
   7
   8 trait Bar<T:Eq+?Sized> { }
   9
  10 trait Foo {
  11     fn bar<A>(&self) where A: Bar<Self> {
  12         //~^ ERROR E0277
  13         //
  14         // Here, Eq ought to be implemented.
  15     }
  16 }
  17
  18
  19 fn main() { }