4 //~^ ERROR the trait `Copy` may not be implemented for this type
5 //~| ERROR only traits defined in the current crate can be implemented for arbitrary types
10 impl Copy for &'static mut Bar { }
11 //~^ ERROR the trait `Copy` may not be implemented for this type