Search results

Clear nested candidates in select if certainty is yes

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.

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 141927

#141927 In rust-lang/rust;

· by compiler-errors was closed on Jun 7, 2025

·

1.89.0

Properly stall coroutine witnesses in new solver

A-attributesArea: Attributes (`#[...]`, `#![...]`) Area: Attributes (`#[...]`, `#![...]`)

F-autodiff`#![feature(autodiff)]` `#![feature(autodiff)]`

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.

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

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.

T-rustdoc-frontendRelevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.

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 138845

#138845 In rust-lang/rust;

· by compiler-errors was closed on Apr 24, 2025

·

1.88.0

Fix dyn incompleteness with multiple supertraits with different substitutions

A-testsuiteArea: The testsuite used to check the correctness of rustc Area: The testsuite used to check the correctness of rustc

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

needs-fcpThis change is insta-stable, or significant enough to need a team FCP to proceed. This change is insta-stable, or significant enough to need a team FCP to proceed.

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

T-typesRelevant to the types team, which will review and decide on the PR/issue. Relevant to the types 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 133397

#133397 In rust-lang/rust;

· by compiler-errors was closed on Feb 3, 2025

Implement <code>~const Destruct</code> effect goal in the new solver

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.

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 132329

#132329 In rust-lang/rust;

· by compiler-errors was closed on Nov 23, 2024

·

1.85.0

Disqualify built-in trait impl if it seems likely to overlap in an unsound way with a blanket impl

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

T-typesRelevant to the types team, which will review and decide on the PR/issue. Relevant to the types 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 132289

#132289 In rust-lang/rust;

· by compiler-errors was closed on Dec 29, 2024

Represent trait constness as a distinct predicate

A-testsuiteArea: The testsuite used to check the correctness of rustc Area: The testsuite used to check the correctness of rustc

CI-spurious-fail-msvcCI spurious failure: target env msvc CI spurious failure: target env msvc

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

T-libsRelevant to the library team, which will review and decide on the PR/issue. Relevant to the library 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: Merged (completed).

rust-lang/rustnumber 131985

#131985 In rust-lang/rust;

· by compiler-errors was closed on Oct 24, 2024

·

1.84.0

Combine <code>Sub</code> and <code>Equate</code>

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-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 121462

#121462 In rust-lang/rust;

· by compiler-errors was closed on Mar 1, 2024

·

1.78.0

Rework upcasting confirmation to support upcasting to fewer projections in target bounds

F-trait_upcasting`#![feature(trait_upcasting)]` `#![feature(trait_upcasting)]`

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.

T-typesRelevant to the types team, which will review and decide on the PR/issue. Relevant to the types 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 114036

#114036 In rust-lang/rust;

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

·

1.73.0

Normalize the RHS of an <code>Unsize</code> goal in the new solver

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.

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 113393

#113393 In rust-lang/rust;

· by compiler-errors was closed on Jul 25, 2023

·

1.73.0

Handle opaques in the new solver (take 2?)

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.

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 111473

#111473 In rust-lang/rust;

· by compiler-errors was closed on May 25, 2023

·

1.71.0