]>
Commit | Line | Data |
---|---|---|
d9bb1a4e | 1 | // check-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
85aaf69f SL |
3 | // Test that the requirement (in `Bar`) that `T::Bar : 'static` does |
4 | // not wind up propagating to `T`. | |
223e47cc | 5 | |
c34b1796 AL |
6 | // pretty-expanded FIXME #23616 |
7 | ||
85aaf69f SL |
8 | pub trait Foo { |
9 | type Bar; | |
1a4d82fc | 10 | |
85aaf69f SL |
11 | fn foo(&self) -> Self; |
12 | } | |
13 | ||
14 | pub struct Static<T:'static>(T); | |
15 | ||
16 | struct Bar<T:Foo> | |
17 | where T::Bar : 'static | |
18 | { | |
19 | x: Static<Option<T::Bar>> | |
20 | } | |
223e47cc LB |
21 | |
22 | fn main() { } |