Skip to content

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

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

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