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

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.

@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.

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

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
    |

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

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

Development

Successfully merging this pull request may close these issues.

3 participants