]>
Commit | Line | Data |
---|---|---|
69743fb6 | 1 | struct Wrapper<T>(T); |
13cf67c4 | 2 | |
69743fb6 XL |
3 | trait MyTrait { |
4 | type Output; | |
94b46f34 | 5 | } |
041b39d2 | 6 | |
69743fb6 XL |
7 | impl<'a, I, T: 'a> MyTrait for Wrapper<I> |
8 | where I: MyTrait<Output=&'a T> | |
9 | { | |
10 | type Output = T; | |
11 | } | |
13cf67c4 | 12 | |
69743fb6 | 13 | struct Inner<'a, T>(&'a T); |
13cf67c4 | 14 | |
69743fb6 XL |
15 | impl<'a, T> MyTrait for Inner<'a, T> { |
16 | type Output = &'a T; | |
17 | } | |
13cf67c4 | 18 | |
69743fb6 | 19 | // @has issue_56822/struct.Parser.html |
2b03887a | 20 | // @has - '//*[@id="synthetic-implementations-list"]//*[@class="impl has-srclink"]//h3[@class="code-header"]' \ |
17df50a5 | 21 | // "impl<'a> Send for Parser<'a>" |
69743fb6 XL |
22 | pub struct Parser<'a> { |
23 | field: <Wrapper<Inner<'a, u8>> as MyTrait>::Output | |
223e47cc | 24 | } |