Skip to content

Commit 8ad5ea7

Browse files
compiler-errorscompiler-errors
committed
Adapt tests from #105258 
1 parent 473c88d commit 8ad5ea7

File tree

3 files changed

+151
-6
lines changed

3 files changed

+151
-6
lines changed

‎tests/ui/impl-trait/in-trait/signature-mismatch.current.stderr

+49-3
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,61 @@
11
error: return type captures more lifetimes than trait definition
2-
--> $DIR/signature-mismatch.rs:17:47
2+
--> $DIR/signature-mismatch.rs:36:47
33
|
44
LL | fn async_fn<'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>> + 'a {
55
| -- this lifetime was captured ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
66
|
77
note: hidden type must only reference lifetimes captured by this impl trait
8-
--> $DIR/signature-mismatch.rs:11:40
8+
--> $DIR/signature-mismatch.rs:17:40
99
|
1010
LL | fn async_fn(&self, buff: &[u8]) -> impl Future<Output = Vec<u8>>;
1111
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1212
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + 'a`
1313

14-
error: aborting due to previous error
14+
error: return type captures more lifetimes than trait definition
15+
--> $DIR/signature-mismatch.rs:41:57
16+
|
17+
LL | fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>> + 'a {
18+
| -- this lifetime was captured ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19+
|
20+
note: hidden type must only reference lifetimes captured by this impl trait
21+
--> $DIR/signature-mismatch.rs:18:57
22+
|
23+
LL | fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>>;
24+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
25+
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + 'a`
26+
27+
error: return type captures more lifetimes than trait definition
28+
--> $DIR/signature-mismatch.rs:49:10
29+
|
30+
LL | fn async_fn_multiple<'a, 'b>(
31+
| -- this lifetime was captured
32+
...
33+
LL | ) -> impl Future<Output = Vec<u8>> + Captures2<'a, 'b> {
34+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
35+
|
36+
note: hidden type must only reference lifetimes captured by this impl trait
37+
--> $DIR/signature-mismatch.rs:20:12
38+
|
39+
LL | -> impl Future<Output = Vec<u8>> + Captures<'a>;
40+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
41+
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + Captures2<'a, 'b>`
42+
43+
error[E0309]: the parameter type `T` may not live long enough
44+
--> $DIR/signature-mismatch.rs:58:10
45+
|
46+
LL | ) -> impl Future<Output = Vec<u8>> {
47+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `impl Future<Output = Vec<u8>>` will meet its required lifetime bounds...
48+
|
49+
note: ...that is required by this bound
50+
--> $DIR/signature-mismatch.rs:25:42
51+
|
52+
LL | ) -> impl Future<Output = Vec<u8>> + 'a;
53+
| ^^
54+
help: consider adding an explicit lifetime bound...
55+
|
56+
LL | fn async_fn_reduce_outlive<'a, 'b, T: 'a>(
57+
| ++++
58+
59+
error: aborting due to 4 previous errors
1560

61+
For more information about this error, try `rustc --explain E0309`.

‎tests/ui/impl-trait/in-trait/signature-mismatch.next.stderr

+49-3
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,61 @@
11
error: return type captures more lifetimes than trait definition
2-
--> $DIR/signature-mismatch.rs:17:47
2+
--> $DIR/signature-mismatch.rs:36:47
33
|
44
LL | fn async_fn<'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>> + 'a {
55
| -- this lifetime was captured ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
66
|
77
note: hidden type must only reference lifetimes captured by this impl trait
8-
--> $DIR/signature-mismatch.rs:11:40
8+
--> $DIR/signature-mismatch.rs:17:40
99
|
1010
LL | fn async_fn(&self, buff: &[u8]) -> impl Future<Output = Vec<u8>>;
1111
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1212
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + 'a`
1313

14-
error: aborting due to previous error
14+
error: return type captures more lifetimes than trait definition
15+
--> $DIR/signature-mismatch.rs:41:57
16+
|
17+
LL | fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>> + 'a {
18+
| -- this lifetime was captured ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
19+
|
20+
note: hidden type must only reference lifetimes captured by this impl trait
21+
--> $DIR/signature-mismatch.rs:18:57
22+
|
23+
LL | fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>>;
24+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
25+
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + 'a`
26+
27+
error: return type captures more lifetimes than trait definition
28+
--> $DIR/signature-mismatch.rs:49:10
29+
|
30+
LL | fn async_fn_multiple<'a, 'b>(
31+
| -- this lifetime was captured
32+
...
33+
LL | ) -> impl Future<Output = Vec<u8>> + Captures2<'a, 'b> {
34+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
35+
|
36+
note: hidden type must only reference lifetimes captured by this impl trait
37+
--> $DIR/signature-mismatch.rs:20:12
38+
|
39+
LL | -> impl Future<Output = Vec<u8>> + Captures<'a>;
40+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
41+
= note: hidden type inferred to be `impl Future<Output = Vec<u8>> + Captures2<'a, 'b>`
42+
43+
error[E0309]: the parameter type `T` may not live long enough
44+
--> $DIR/signature-mismatch.rs:58:10
45+
|
46+
LL | ) -> impl Future<Output = Vec<u8>> {
47+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `impl Future<Output = Vec<u8>>` will meet its required lifetime bounds...
48+
|
49+
note: ...that is required by this bound
50+
--> $DIR/signature-mismatch.rs:25:42
51+
|
52+
LL | ) -> impl Future<Output = Vec<u8>> + 'a;
53+
| ^^
54+
help: consider adding an explicit lifetime bound...
55+
|
56+
LL | fn async_fn_reduce_outlive<'a, 'b, T: 'a>(
57+
| ++++
58+
59+
error: aborting due to 4 previous errors
1560

61+
For more information about this error, try `rustc --explain E0309`.

‎tests/ui/impl-trait/in-trait/signature-mismatch.rs

+53
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,27 @@
77

88
use std::future::Future;
99

10+
trait Captures<'a> {}
11+
impl<T> Captures<'_> for T {}
12+
13+
trait Captures2<'a, 'b> {}
14+
impl<T> Captures2<'_, '_> for T {}
15+
1016
pub trait AsyncTrait {
1117
fn async_fn(&self, buff: &[u8]) -> impl Future<Output = Vec<u8>>;
18+
fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>>;
19+
fn async_fn_multiple<'a>(&'a self, buff: &[u8])
20+
-> impl Future<Output = Vec<u8>> + Captures<'a>;
21+
fn async_fn_reduce_outlive<'a, T>(
22+
&'a self,
23+
buff: &[u8],
24+
t: T,
25+
) -> impl Future<Output = Vec<u8>> + 'a;
26+
fn async_fn_reduce<'a, T>(
27+
&'a self,
28+
buff: &[u8],
29+
t: T,
30+
) -> impl Future<Output = Vec<u8>> + Captures<'a>;
1231
}
1332

1433
pub struct Struct;
@@ -18,6 +37,40 @@ impl AsyncTrait for Struct {
1837
//~^ ERROR return type captures more lifetimes than trait definition
1938
async move { buff.to_vec() }
2039
}
40+
41+
fn async_fn_early<'a: 'a>(&self, buff: &'a [u8]) -> impl Future<Output = Vec<u8>> + 'a {
42+
//~^ ERROR return type captures more lifetimes than trait definition
43+
async move { buff.to_vec() }
44+
}
45+
46+
fn async_fn_multiple<'a, 'b>(
47+
&'a self,
48+
buff: &'b [u8],
49+
) -> impl Future<Output = Vec<u8>> + Captures2<'a, 'b> {
50+
//~^ ERROR return type captures more lifetimes than trait definition
51+
async move { buff.to_vec() }
52+
}
53+
54+
fn async_fn_reduce_outlive<'a, 'b, T>(
55+
&'a self,
56+
buff: &'b [u8],
57+
t: T,
58+
) -> impl Future<Output = Vec<u8>> {
59+
//~^ ERROR the parameter type `T` may not live long enough
60+
async move {
61+
let _t = t;
62+
vec![]
63+
}
64+
}
65+
66+
// OK: We remove the `Captures<'a>`, providing a guarantee that we don't capture `'a`,
67+
// but we still fulfill the `Captures<'a>` trait bound.
68+
fn async_fn_reduce<'a, 'b, T>(&'a self, buff: &'b [u8], t: T) -> impl Future<Output = Vec<u8>> {
69+
async move {
70+
let _t = t;
71+
vec![]
72+
}
73+
}
2174
}
2275

2376
fn main() {}

0 commit comments

Comments
 (0)