2023-10-04 15:04:45 -05:00
|
|
|
// https://github.com/rust-lang/rust/issues/25001
|
2023-10-04 14:08:47 -05:00
|
|
|
#![crate_name="issue_25001"]
|
|
|
|
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has issue_25001/struct.Foo.html
|
2015-12-05 16:09:20 -06:00
|
|
|
pub struct Foo<T>(T);
|
|
|
|
|
|
|
|
pub trait Bar {
|
|
|
|
type Item;
|
|
|
|
|
|
|
|
fn quux(self);
|
|
|
|
}
|
|
|
|
|
2016-03-11 17:22:07 -06:00
|
|
|
impl Foo<u8> {
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.pass"]//h4[@class="code-header"]' 'fn pass()'
|
2015-12-05 16:09:20 -06:00
|
|
|
pub fn pass() {}
|
|
|
|
}
|
2016-03-11 17:22:07 -06:00
|
|
|
impl Foo<u16> {
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.pass-1"]//h4[@class="code-header"]' 'fn pass() -> usize'
|
2015-12-05 16:09:20 -06:00
|
|
|
pub fn pass() -> usize { 42 }
|
|
|
|
}
|
2016-03-11 17:22:07 -06:00
|
|
|
impl Foo<u32> {
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.pass-2"]//h4[@class="code-header"]' 'fn pass() -> isize'
|
2015-12-05 16:09:20 -06:00
|
|
|
pub fn pass() -> isize { 42 }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> Bar for Foo<T> {
|
2024-02-08 15:46:23 -06:00
|
|
|
// @has - '//*[@id="associatedtype.Item"]//h4[@class="code-header"]' 'type Item = T'
|
2015-12-05 16:09:20 -06:00
|
|
|
type Item=T;
|
|
|
|
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.quux"]//h4[@class="code-header"]' 'fn quux(self)'
|
2015-12-05 16:09:20 -06:00
|
|
|
fn quux(self) {}
|
|
|
|
}
|
|
|
|
impl<'a, T> Bar for &'a Foo<T> {
|
2024-02-08 15:46:23 -06:00
|
|
|
// @has - '//*[@id="associatedtype.Item-1"]//h4[@class="code-header"]' "type Item = &'a T"
|
2015-12-05 16:09:20 -06:00
|
|
|
type Item=&'a T;
|
|
|
|
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.quux-1"]//h4[@class="code-header"]' 'fn quux(self)'
|
2015-12-05 16:09:20 -06:00
|
|
|
fn quux(self) {}
|
|
|
|
}
|
|
|
|
impl<'a, T> Bar for &'a mut Foo<T> {
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="associatedtype.Item-2"]//h4[@class="code-header"]' "type Item = &'a mut T"
|
2015-12-05 16:09:20 -06:00
|
|
|
type Item=&'a mut T;
|
|
|
|
|
2024-06-21 07:03:08 -05:00
|
|
|
//@ has - '//*[@id="method.quux-2"]//h4[@class="code-header"]' 'fn quux(self)'
|
2015-12-05 16:09:20 -06:00
|
|
|
fn quux(self) {}
|
|
|
|
}
|