ICE: assertion failed: !obligation.predicate.has_escaping_bound_vars() #132822
Description
auto-reduced (treereduce-rust):
#![feature(non_lifetime_binders)]
trait Trait<T: ?Sized> {
type Assoc;
}
fn produce() -> impl for<T> Trait<(), Assoc = impl Trait<T>> {
16
}original:
#![allow(incomplete_features)]
#![feature(non_lifetime_binders)]
trait Trait<T: ?Sized> {
type Assoc;
const FOO: ()
fn bar() -> Self::Assoc;
}
fn produce() -> impl for<T> Trait<(), Assoc = impl Trait<T>> {
//~^ ERROR associated type `Assoc` not found for `Trait`
//~| ERROR associated type `Assoc` not found for `Trait`
//~| the trait bound `{integer}: Trait<()>` is not satisfied
16
}
fn main() {}Version information
rustc 1.84.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.84.0-dev
LLVM version: 19.1.3
Possibly related line of code:
rust/compiler/rustc_trait_selection/src/traits/select/mod.rs
Lines 308 to 320 in 59cec72
Command:
/home/gh-matthiaskrgr/.rustup/toolchains/local-debug-assertions/bin/rustc
@rustbot label +F-non_lifetime_binders