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