blob: 412c31b1bd843314c9ef473c8ac9443eb2f62b42 (
plain)
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
|
error: implementation of `AsyncFnOnce` is not general enough
--> $DIR/higher-ranked-auto-trait-16.rs:18:5
|
LL | / assert_send(async {
LL | | commit_if_ok(&mut ctxt, async |_| todo!()).await;
LL | | });
| |______^ implementation of `AsyncFnOnce` is not general enough
|
= note: `{async closure@$DIR/higher-ranked-auto-trait-16.rs:19:33: 19:42}` must implement `AsyncFnOnce<(&mut Ctxt<'1>,)>`, for any two lifetimes `'0` and `'1`...
= note: ...but it actually implements `AsyncFnOnce<(&mut Ctxt<'_>,)>`
error: implementation of `AsyncFnOnce` is not general enough
--> $DIR/higher-ranked-auto-trait-16.rs:18:5
|
LL | / assert_send(async {
LL | | commit_if_ok(&mut ctxt, async |_| todo!()).await;
LL | | });
| |______^ implementation of `AsyncFnOnce` is not general enough
|
= note: `{async closure@$DIR/higher-ranked-auto-trait-16.rs:19:33: 19:42}` must implement `AsyncFnOnce<(&mut Ctxt<'1>,)>`, for any two lifetimes `'0` and `'1`...
= note: ...but it actually implements `AsyncFnOnce<(&mut Ctxt<'_>,)>`
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 2 previous errors
|
