ice: Should not be resolving bound region. #117808
Description
code was reduced from a diagnostic issue: #97680
Unfortunately I can't bisect this since we don't have nightly debug assertion builds
use std::future::Future;
fn hrc<R, F: for<'a> AsyncClosure<'a, (), R>>(f: F) -> F {
f
}
fn main() {
hrc(|x| async {});
}
trait AsyncClosure<'a, I, R>
where
I: 'a,
{
}
impl<'a, I, R, Fut, F> AsyncClosure<'a, I, R> for F
where
I: 'a,
F: Fn(&'a I) -> Fut,
Fut: Future<Output = R> + Send + 'a,
{
}
Version information
rustc 1.75.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.75.0-dev
LLVM version: 17.0.4
rustc @ d4c86cf