src/test/ui/wf/wf-in-fn-where-clause.rs

   1 // Check that we enforce WF conditions also for where clauses in fn items.
   2
   3
   4 #![allow(dead_code)]
   5
   6 trait MustBeCopy<T:Copy> {
   7 }
   8
   9 fn bar<T,U>()
  10     where T: MustBeCopy<U> //~ ERROR E0277
  11 {
  12 }
  13
  14
  15 fn main() { }