src/test/ui/wf/wf-in-fn-type-arg.rs

   1 // Check that we enforce WF conditions also for types in fns.
   2
   3 struct MustBeCopy<T:Copy> {
   4     t: T
   5 }
   6
   7 struct Bar<T> {
   8     // needs T: Copy
   9     x: fn(MustBeCopy<T>) //~ ERROR E0277
  10 }
  11
  12 fn main() { }