|
11 | 11 | pub struct S<T>(T); |
12 | 12 |
|
13 | 13 | // @!has foo/trait.Tr.html '//pre[@class="rust trait"]/code/a[@class="trait"]' '~const' |
14 | | -// @!has - '//pre[@class="rust trait"]/code/a[@class="trait"]' 'Drop' |
15 | 14 | // @has - '//pre[@class="rust trait"]/code/a[@class="trait"]' 'Clone' |
16 | 15 | // @!has - '//pre[@class="rust trait"]/code/span[@class="where"]' '~const' |
17 | | -// @!has - '//pre[@class="rust trait"]/code/span[@class="where"]' 'Drop' |
18 | 16 | // @has - '//pre[@class="rust trait"]/code/span[@class="where"]' ': Clone' |
19 | 17 | pub trait Tr<T> { |
20 | 18 | // @!has - '//div[@id="method.a"]/h4[@class="code-header"]' '~const' |
21 | | - // @!has - '//div[@id="method.a"]/h4[@class="code-header"]/a[@class="trait"]' 'Drop' |
22 | 19 | // @has - '//div[@id="method.a"]/h4[@class="code-header"]/a[@class="trait"]' 'Clone' |
23 | 20 | // @!has - '//div[@id="method.a"]/h4[@class="code-header"]/span[@class="where"]' '~const' |
24 | | - // @!has - '//div[@id="method.a"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' 'Drop' |
25 | 21 | // @has - '//div[@id="method.a"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' ': Clone' |
26 | 22 | #[default_method_body_is_const] |
27 | | - fn a<A: ~const Drop + ~const Clone>() where Option<A>: ~const Drop + ~const Clone {} |
| 23 | + fn a<A: ~const Clone>() where Option<A>: ~const Clone {} |
28 | 24 | } |
29 | 25 |
|
30 | 26 | // @!has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]' '~const' |
31 | | -// @!has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]/a[@class="trait"]' 'Drop' |
32 | 27 | // @has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]/a[@class="trait"]' 'Clone' |
33 | 28 | // @!has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]/span[@class="where"]' '~const' |
34 | | -// @!has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]/span[@class="where fmt-newline"]' 'Drop' |
35 | 29 | // @has - '//section[@id="impl-Tr%3CT%3E"]/h3[@class="code-header in-band"]/span[@class="where fmt-newline"]' ': Clone' |
36 | | -impl<T: ~const Drop + ~const Clone> const Tr<T> for T where Option<T>: ~const Drop + ~const Clone { |
37 | | - fn a<A: ~const Drop + ~const Clone>() where Option<A>: ~const Drop + ~const Clone {} |
| 30 | +impl<T: ~const Clone> const Tr<T> for T where Option<T>: ~const Clone { |
| 31 | + fn a<A: ~const Clone>() where Option<A>: ~const Clone {} |
38 | 32 | } |
39 | 33 |
|
40 | 34 | // @!has foo/fn.foo.html '//pre[@class="rust fn"]/code/a[@class="trait"]' '~const' |
41 | | -// @!has - '//pre[@class="rust fn"]/code/a[@class="trait"]' 'Drop' |
42 | 35 | // @has - '//pre[@class="rust fn"]/code/a[@class="trait"]' 'Clone' |
43 | 36 | // @!has - '//pre[@class="rust fn"]/code/span[@class="where fmt-newline"]' '~const' |
44 | | -// @!has - '//pre[@class="rust fn"]/code/span[@class="where fmt-newline"]' 'Drop' |
45 | 37 | // @has - '//pre[@class="rust fn"]/code/span[@class="where fmt-newline"]' ': Clone' |
46 | | -pub const fn foo<F: ~const Drop + ~const Clone>() where Option<F>: ~const Drop + ~const Clone { |
| 38 | +pub const fn foo<F: ~const Clone>() where Option<F>: ~const Clone { |
47 | 39 | F::a() |
48 | 40 | } |
49 | 41 |
|
50 | 42 | impl<T> S<T> { |
51 | 43 | // @!has foo/struct.S.html '//section[@id="method.foo"]/h4[@class="code-header"]' '~const' |
52 | | - // @!has - '//section[@id="method.foo"]/h4[@class="code-header"]/a[@class="trait"]' 'Drop' |
53 | 44 | // @has - '//section[@id="method.foo"]/h4[@class="code-header"]/a[@class="trait"]' 'Clone' |
54 | 45 | // @!has - '//section[@id="method.foo"]/h4[@class="code-header"]/span[@class="where"]' '~const' |
55 | | - // @!has - '//section[@id="method.foo"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' 'Drop' |
56 | 46 | // @has - '//section[@id="method.foo"]/h4[@class="code-header"]/span[@class="where fmt-newline"]' ': Clone' |
57 | | - pub const fn foo<B: ~const Drop + ~const Clone>() where B: ~const Drop + ~const Clone { |
| 47 | + pub const fn foo<B: ~const Clone>() where B: ~const Clone { |
58 | 48 | B::a() |
59 | 49 | } |
60 | 50 | } |
0 commit comments