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