Closed
Description
Under the new 2024-edition lifetime capture rules (#117587), any impl Trait
s that are defined inside the scope of a for<'a>
binder now implicitly capture the lifetimes of that binder. This is intended behavior, and we'd like for that to work.
However, currently the type system doesn't support opaque type inference when the opaque captures one of these late-bound vars. This is blocked on #100503.
Opening this issue for a known-bug test.