1 // revisions: mirunsafeck thirunsafeck
2 // [thirunsafeck]compile-flags: -Z thir-unsafeck
11 let u = U { a: Rc::new(0u32) };
12 //~^ ERROR the trait bound `Rc<u32>: Copy` is not satisfied
13 let u = U::<Rc<u32>> { a: Default::default() };
14 //~^ ERROR the trait bound `Rc<u32>: Copy` is not satisfied