1 // revisions: not_static yes_static
2 //[yes_static] check-pass
5 struct Foo<'lt>(&'lt ());
7 impl Copy for Foo<'static> {}
10 struct Bar<'lt>(Foo<'lt>);
13 impl<'any> Copy for Bar<'any> {}
14 //[not_static]~^ the trait `Copy` may not be implemented for this type
17 impl<'any> Copy for Bar<'static> {}