Search results

expand WF obligations when checking method calls

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.

Status: Merged (completed).

rust-lang/rustnumber 144704

#144704 In rust-lang/rust;

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

·

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

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

<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

Instantiate auto trait/<code>Copy</code>/<code>Clone</code>/<code>Sized</code> before computing constituent types binder

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

Status: Merged (completed).

rust-lang/rustnumber 143538

#143538 In rust-lang/rust;

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

·

1.90.0

[perf] Detect <code>?0: Tr&lt;?0&gt;</code> conflict in deep reject

perf-regressionPerformance regression. Performance regression.

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.

Status: Closed (abandoned).

rust-lang/rustnumber 143503

#143503 In rust-lang/rust;

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

[perf] Re-monomorphize <code>FnMutDelegate</code>

perf-regressionPerformance regression. Performance regression.

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.

Status: Closed (abandoned).

rust-lang/rustnumber 142702

#142702 In rust-lang/rust;

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

[perf] Fast path for coercions

perf-regressionPerformance regression. Performance regression.

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.

Status: Closed (abandoned).

rust-lang/rustnumber 142701

#142701 In rust-lang/rust;

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

Don't fold in Instantiate when there's nothing to fold

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.

Status: Merged (completed).

rust-lang/rustnumber 142317

#142317 In rust-lang/rust;

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

·

1.90.0

Make root vars more stable

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.

Status: Merged (completed).

rust-lang/rustnumber 142090

#142090 In rust-lang/rust;

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

·

1.89.0

Don't walk into <code>Certainty::Yes</code> goals

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.

Status: Merged (completed).

rust-lang/rustnumber 142085

#142085 In rust-lang/rust;

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

·

1.89.0

[PERF] Use a SmallVec in new solver canonicalization

perf-regressionPerformance regression. Performance regression.

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 141928

#141928 In rust-lang/rust;

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