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

   1 // Check that we test WF conditions for fn where clauses in a trait definition.
   2
   3
   4 #![allow(dead_code)]
   5 #![allow(unused_variables)]
   6
   7 struct Bar<T:Eq+?Sized> { value: Box<T> }
   8
   9 trait Foo {
  10     fn bar(&self) where Self: Sized, Bar<Self>: Copy;
  11         //~^ ERROR E0277
  12         //
  13         // Here, Eq ought to be implemented.
  14 }
  15
  16
  17 fn main() { }