src/test/ui/wf/wf-trait-default-fn-ret.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 #![feature(rustc_attrs)]
   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) -> Bar<Self> {
  12         //~^ ERROR E0277
  13         //
  14         // Here, Eq ought to be implemented.
  15         loop { }
  16     }
  17 }
  18
  19 fn main() { }