Skip to content

turn compute_goal_fast_path into a single match#156038

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jdonszelmann:fast-path-single-match
May 8, 2026
Merged

turn compute_goal_fast_path into a single match#156038
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jdonszelmann:fast-path-single-match

Conversation

@jdonszelmann
Copy link
Copy Markdown
Contributor

r? @lcnr
@rustbot blocked on #155443

@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) S-blocked Status: Blocked on something else such as an RFC or other implementation work. labels May 1, 2026
@rust-log-analyzer

This comment has been minimized.

@rust-bors

This comment has been minimized.

@jdonszelmann jdonszelmann force-pushed the fast-path-single-match branch from 251df8d to 405d223 Compare May 6, 2026 08:57
Comment thread compiler/rustc_trait_selection/src/solve/delegate.rs Outdated
Comment thread compiler/rustc_trait_selection/src/solve/delegate.rs
Copy link
Copy Markdown
Contributor

@lcnr lcnr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

r=me after nits + other pr merged

View changes since this review

@jdonszelmann jdonszelmann marked this pull request as ready for review May 7, 2026 05:07
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 7, 2026

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

changes to the core type system

cc @lcnr

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels May 7, 2026
@jdonszelmann jdonszelmann force-pushed the fast-path-single-match branch from 405d223 to 2bb7e69 Compare May 7, 2026 05:19
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 7, 2026

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@rust-log-analyzer

This comment has been minimized.

Comment thread compiler/rustc_trait_selection/src/solve/delegate.rs Outdated
@jdonszelmann jdonszelmann force-pushed the fast-path-single-match branch from 2bb7e69 to 0e10c8a Compare May 7, 2026 08:53
@jdonszelmann jdonszelmann force-pushed the fast-path-single-match branch from 0e10c8a to 644250d Compare May 8, 2026 08:05
@jdonszelmann
Copy link
Copy Markdown
Contributor Author

@bors r=lcnr rollup

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors Bot commented May 8, 2026

📋 This PR cannot be approved because it currently has the following label: S-blocked.

@jdonszelmann jdonszelmann removed the S-blocked Status: Blocked on something else such as an RFC or other implementation work. label May 8, 2026
@jdonszelmann
Copy link
Copy Markdown
Contributor Author

@bors r=lcnr rollup

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors Bot commented May 8, 2026

📌 Commit 644250d has been approved by lcnr

It is now in the queue for this repository.

@rust-bors rust-bors Bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 8, 2026
rust-bors Bot pushed a commit that referenced this pull request May 8, 2026
…uwer

Rollup of 4 pull requests

Successful merges:

 - #156246 (Introduce a `RerunNonErased` error type mirroring `NoSolution`, to better track when we're bailing)
 - #156038 (turn `compute_goal_fast_path` into a single match)
 - #156291 (Treat MSVC "performing full link" message as informational)
 - #156301 (Avoid ICE when suggesting as_ref for ill-typed closure receivers)
@rust-bors rust-bors Bot merged commit ffe32f0 into rust-lang:main May 8, 2026
11 checks passed
@rustbot rustbot added this to the 1.97.0 milestone May 8, 2026
rust-timer added a commit that referenced this pull request May 8, 2026
Rollup merge of #156038 - jdonszelmann:fast-path-single-match, r=lcnr

turn `compute_goal_fast_path` into a single match

r? @lcnr
@rustbot blocked on #155443
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. 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.

4 participants