Failing testcase: ``` class C { let x: uint; new(x: uint) { self.x = x; } } fn f<T:copy>(x: T) { } fn main() { f(C(1u)); } ```