1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#![crate_name = "foo"]
// @has foo/trait.Trait.html
pub trait Trait<T> {}
// @has foo/struct.WithConst.html
pub struct WithConst<const N: usize>;
macro_rules! spans_from_macro {
() => {
impl WithConst<42> {
pub fn new() -> Self {
Self
}
}
impl Trait<WithConst<42>> for WithConst<42> {}
impl Trait<WithConst<43>> for WithConst<{ 43 }> {}
impl Trait<WithConst<{ 44 }>> for WithConst<44> {}
pub struct Other {
pub field: WithConst<42>,
}
};
}
// @has - '//*[@class="impl"]//h3[@class="code-header"]' \
// "impl Trait<WithConst<41>> for WithConst<41>"
impl Trait<WithConst<41>> for WithConst<41> {}
// @has - '//*[@class="impl"]//h3[@class="code-header"]' \
// "impl WithConst<42>"
// @has - '//*[@class="impl"]//h3[@class="code-header"]' \
// "impl Trait<WithConst<42>> for WithConst<42>"
// @has - '//*[@class="impl"]//h3[@class="code-header"]' \
// "impl Trait<WithConst<43>> for WithConst<{ 43 }>"
// @has - '//*[@class="impl"]//h3[@class="code-header"]' \
// "impl Trait<WithConst<44>> for WithConst<44>"
// @has foo/struct.Other.html
// @has - //pre "pub field: WithConst<42>"
spans_from_macro!();
|
