]> git.lizzy.rs Git - rust.git/blob - src/test/rustdoc/issue-25001.rs
Suggest defining type parameter when appropriate
[rust.git] / src / test / rustdoc / issue-25001.rs
1 // @has issue_25001/struct.Foo.html
2 pub struct Foo<T>(T);
3
4 pub trait Bar {
5     type Item;
6
7     fn quux(self);
8 }
9
10 impl Foo<u8> {
11     // @has - '//*[@id="method.pass"]//code' 'fn pass()'
12     // @has - '//code[@id="pass.v"]' 'fn pass()'
13     pub fn pass() {}
14 }
15 impl Foo<u16> {
16     // @has - '//*[@id="method.pass-1"]//code' 'fn pass() -> usize'
17     // @has - '//code[@id="pass.v-1"]' 'fn pass() -> usize'
18     pub fn pass() -> usize { 42 }
19 }
20 impl Foo<u32> {
21     // @has - '//*[@id="method.pass-2"]//code' 'fn pass() -> isize'
22     // @has - '//code[@id="pass.v-2"]' 'fn pass() -> isize'
23     pub fn pass() -> isize { 42 }
24 }
25
26 impl<T> Bar for Foo<T> {
27     // @has - '//*[@id="associatedtype.Item"]//code' 'type Item = T'
28     type Item=T;
29
30     // @has - '//*[@id="method.quux"]//code' 'fn quux(self)'
31     fn quux(self) {}
32 }
33 impl<'a, T> Bar for &'a Foo<T> {
34     // @has - '//*[@id="associatedtype.Item-1"]//code' "type Item = &'a T"
35     type Item=&'a T;
36
37     // @has - '//*[@id="method.quux-1"]//code' 'fn quux(self)'
38     fn quux(self) {}
39 }
40 impl<'a, T> Bar for &'a mut Foo<T> {
41     // @has - '//*[@id="associatedtype.Item-2"]//code' "type Item = &'a mut T"
42     type Item=&'a mut T;
43
44     // @has - '//*[@id="method.quux-2"]//code' 'fn quux(self)'
45     fn quux(self) {}
46 }