tests/ui/wf/wf-in-obj-type-trait.rs

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