1 2 3 4 5 6 7 8 9 10 11
// error-pattern:instantiating a copyable type parameter with a noncopyable fn foo<T>() { 1u.bar::<T>(); } impl methods for uint { fn bar<T:copy>() { } } fn main() {}