tests/ui/wf/wf-in-fn-type-ret.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 Foo<T> {
   8     // needs T: 'static
   9     x: fn() -> MustBeCopy<T> //~ ERROR E0277
  10 }
  11
  12 fn main() { }