|
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