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

Conversation

@jdonszelmann

Copy link
Copy Markdown
Contributor

No description provided.

@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Jun 26, 2026
@jdonszelmann jdonszelmann changed the title TyOrConstInferVar next solver Use TyOrConstInferVar in the next solver, fix #158441 Jun 26, 2026
@rust-bors

rust-bors Bot commented Jun 27, 2026

Copy link
Copy Markdown
Contributor

☔ The latest upstream changes (presumably #158115) made this pull request unmergeable. Please resolve the merge conflicts by rebasing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants