Skip to content

trait solver: Include implied outlives assumptions - #162238

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
Dnreikronos:trait_solver/implied_outlives_assumptions
Sep 9, 2026
Merged

trait solver: Include implied outlives assumptions#162238
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
Dnreikronos:trait_solver/implied_outlives_assumptions

Invert free region map edges in root assumptions

822cbdf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 8, 2026 in 47s