tests/ui/wf/wf-trait-default-fn-arg.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 struct Bar<T:Eq+?Sized> { value: Box<T> }
   9
  10 trait Foo {
  11     fn bar(&self, x: &Bar<Self>) {
  12         //~^ ERROR E0277
  13         //
  14         // Here, Eq ought to be implemented.
  15     }
  16 }
  17
  18
  19 fn main() { }