Search results

[BETA] Revert "Use DeepRejectCtxt in assemble_inherent_candidates_from_param"

beta-acceptedAccepted for backporting to the compiler in the beta channel. Accepted for backporting to the compiler in the beta channel.

I-lang-radarItems that are on lang's radar and will need eventual work or consideration. Items that are on lang's radar and will need eventual work or consideration.

merged-by-borsThis PR was explicitly merged by bors. This PR was explicitly merged by bors.

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

stable-acceptedAccepted for backporting to the compiler in the stable channel. Accepted for backporting to the compiler in the stable channel.

stable-nominatedNominated for backporting to the compiler in the stable channel. Nominated for backporting to the compiler in the stable channel.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 145396

#145396 In rust-lang/rust;

· by compiler-errors was closed on Aug 17, 2025

·

1.90.0

Revert "Remove the witness type from coroutine args"

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Closed (abandoned).

rust-lang/rustnumber 145193

#145193 In rust-lang/rust;

· by compiler-errors was closed on Aug 11, 2025

stall <code>ConstArgHasType</code> in <code>compute_goal_fast_path</code>

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 144702

#144702 In rust-lang/rust;

· by compiler-errors was closed on Jul 31, 2025

·

1.90.0

Use <code>ExtractIf</code> in fulfillment loop

perf-regressionPerformance regression. Performance regression.

S-waiting-on-authorStatus: This is awaiting some action (such as code changes or more information) from the author. Status: This is awaiting some action (such as code changes or more information) from the author.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Draft (not ready).

rust-lang/rustnumber 144699

#144699 In rust-lang/rust;

· compiler-errors opened on Jul 30, 2025

Stall <code>ProjectionPredicate</code> and <code>NormalizesTo</code> on infer self ty too

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Closed (abandoned).

rust-lang/rustnumber 144698

#144698 In rust-lang/rust;

· by compiler-errors was closed on Aug 1, 2025

Distinguish prepending and replacing self ty in predicates

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-clippyRelevant to the Clippy team. Relevant to the Clippy team.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 144694

#144694 In rust-lang/rust;

· by compiler-errors was closed on Aug 4, 2025

·

1.91.0

Don't loop if there are no pending obligations

S-waiting-on-reviewStatus: Awaiting review from the assignee but also interested parties. Status: Awaiting review from the assignee but also interested parties.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Open (in progress).

rust-lang/rustnumber 144475

#144475 In rust-lang/rust;

· compiler-errors opened on Jul 26, 2025

Don't repeatedly access recursion limit

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Closed (abandoned).

rust-lang/rustnumber 144474

#144474 In rust-lang/rust;

· by compiler-errors was closed on Jul 26, 2025

Remove the witness type from coroutine *args* (without actually removing the type)

merged-by-borsThis PR was explicitly merged by bors. This PR was explicitly merged by bors.

perf-regressionPerformance regression. Performance regression.

perf-regression-triagedThe performance regression has been triaged. The performance regression has been triaged.

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 144458

#144458 In rust-lang/rust;

· by compiler-errors was closed on Aug 2, 2025

·

1.90.0

Remove the <code>CoroutineWitness</code> type

PG-exploit-mitigationsProject group: Exploit mitigations Project group: Exploit mitigations

S-waiting-on-authorStatus: This is awaiting some action (such as code changes or more information) from the author. Status: This is awaiting some action (such as code changes or more information) from the author.

T-clippyRelevant to the Clippy team. Relevant to the Clippy team.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue. Relevant to the rustdoc team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Open (in progress).

rust-lang/rustnumber 144157

#144157 In rust-lang/rust;

· compiler-errors opened on Jul 18, 2025

Region constraint nits

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 143901

#143901 In rust-lang/rust;

· by compiler-errors was closed on Jul 14, 2025

·

1.90.0

<code>-Zhigher-ranked-assumptions</code>: Consider WF of coroutine witness when proving outlives assumptions

A-tidyArea: The tidy tool Area: The tidy tool

merged-by-borsThis PR was explicitly merged by bors. This PR was explicitly merged by bors.

perf-regressionPerformance regression. Performance regression.

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion. Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue. Relevant to the compiler team, which will review and decide on the PR/issue.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver) The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Merged (completed).

rust-lang/rustnumber 143545

#143545 In rust-lang/rust;

· by compiler-errors was closed on Jul 18, 2025

·

1.90.0