src/test/ui/async-await/issue-74497-lifetime-in-opaque.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// edition:2018

// test that names give to anonymous lifetimes in opaque types like `impl Future` are correctly
// introduced in error messages

use std::future::Future;

pub async fn foo<F, T>(_: F)
where
    F: Fn(&u8) -> T,
    T: Future<Output = ()>,
{
}

pub async fn bar(_: &u8) {}

fn main() {
    let _ = foo(|x| bar(x)); //~ ERROR lifetime may not live long enough
}