Skip to content

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

Draft
jdonszelmann wants to merge 11 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 11 commits into
rust-lang:mainfrom
jdonszelmann:fast-path-when-adding-goals

Conversation

@jdonszelmann

@jdonszelmann jdonszelmann commented Jun 26, 2026

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

This comment has been minimized.

Sign in to view
@rustbot rustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Jul 1, 2026
@jdonszelmann jdonszelmann reopened this Jul 1, 2026
@rustbot rustbot added the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Jul 1, 2026
@jdonszelmann jdonszelmann force-pushed the fast-path-when-adding-goals branch from e5ea6c4 to 21f4f7a Compare July 6, 2026 08:13
@rustbot rustbot added A-tidy Area: The tidy tool T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) labels Jul 6, 2026
@jdonszelmann jdonszelmann force-pushed the fast-path-when-adding-goals branch from 21f4f7a to b0372ea Compare July 6, 2026 08:21
@rust-bors

This comment has been minimized.

Sign in to view
@jdonszelmann jdonszelmann force-pushed the fast-path-when-adding-goals branch from b0372ea to 0662adb Compare July 7, 2026 12:34
@rust-log-analyzer

rust-log-analyzer commented Jul 7, 2026

Copy link
Copy Markdown
Collaborator

The job x86_64-gnu-miri failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot) 

error[E0425]: cannot find value `stalled_on` in this scope
   --> compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs:554:59
    |
554 |             self.rerunning_stalled_goal_may_make_progress(stalled_on.as_ref())
    |                                                           ^^^^^^^^^^ not found in this scope

error[E0425]: cannot find value `stalled_on` in this scope
   --> compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs:562:21
    |

@rust-bors

rust-bors Bot commented Jul 15, 2026

Copy link
Copy Markdown
Contributor

☔ The latest upstream changes (presumably #159293) 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

Reviewers

No reviews

Assignees

No one assigned

Labels

A-tidy Area: The tidy tool S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) 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

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jdonszelmann @rust-log-analyzer @rustbot