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

   1 // Check that we enforce WF conditions also for argument types in fn items.
   2
   3 #![feature(rustc_attrs)]
   4 #![allow(dead_code)]
   5
   6 struct MustBeCopy<T:Copy> {
   7     t: T
   8 }
   9
  10 fn bar<T>(_: &MustBeCopy<T>) //~ ERROR E0277
  11 {
  12 }
  13
  14 fn main() { }