]> git.lizzy.rs Git - rust.git/blob - src/test/rustdoc/issue-56822.rs
Auto merge of #56838 - Aaron1011:fix/rustdoc-infer-unify, r=nikomatsakis
[rust.git] / src / test / rustdoc / issue-56822.rs
1 // Copyright 2018 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 struct Wrapper<T>(T);
12
13 trait MyTrait {
14     type Output;
15 }
16
17 impl<'a, I, T: 'a> MyTrait for Wrapper<I>
18     where I: MyTrait<Output=&'a T>
19 {
20     type Output = T;
21 }
22
23 struct Inner<'a, T>(&'a T);
24
25 impl<'a, T> MyTrait for Inner<'a, T> {
26     type Output = &'a T;
27 }
28
29 // @has issue_56822/struct.Parser.html
30 // @has - '//*[@id="synthetic-implementations-list"]/*[@class="impl"]//*/code' "impl<'a> Send for \
31 // Parser<'a>"
32 pub struct Parser<'a> {
33     field: <Wrapper<Inner<'a, u8>> as MyTrait>::Output
34 }