blob: 2d765eb41be07ecca0865d24d74a5250d4c3e489 (
plain)
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
}
|
