Skip to content

trait solver: account for universes from replace_bound_vars#158362

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
Dnreikronos:trait_solver/placeholder_universe_bounds
Jul 24, 2026
Merged

trait solver: account for universes from replace_bound_vars#158362
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
Dnreikronos:trait_solver/placeholder_universe_bounds

Commits

Commits on Jul 16, 2026

Commits on Jul 22, 2026