Skip to content

Use TyOrConstInferVar in the next solver, fix #158441 - #158436

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
jdonszelmann:fast-path-when-adding-goals
Aug 11, 2026
Merged

Use TyOrConstInferVar in the next solver, fix #158441#158436
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
jdonszelmann:fast-path-when-adding-goals