Skip to content

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

Open
jdonszelmann wants to merge 2 commits into
rust-lang:mainfrom
jdonszelmann:fast-path-when-adding-goals
Open

Use TyOrConstInferVar in the next solver, fix #158441#158436
jdonszelmann wants to merge 2 commits into
rust-lang:mainfrom
jdonszelmann:fast-path-when-adding-goals