3 // Test that the requirement (in `Bar`) that `T::Bar : 'static` does
4 // not wind up propagating to `T`.
6 // pretty-expanded FIXME #23616
11 fn foo(&self) -> Self;
14 pub struct Static<T:'static>(T);
17 where T::Bar : 'static
19 x: Static<Option<T::Bar>>