Search results

Normalize before computing ConstArgHasType goal in new solver

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 142806

#142806 In rust-lang/rust;

· compiler-errors opened on Jun 20, 2025

Collapse Analysis|Borrowck|PostBorrowckAnalysis when there are no opaques

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: Open (in progress).

rust-lang/rustnumber 142802

#142802 In rust-lang/rust;

· compiler-errors opened on Jun 20, 2025

Apply <code>impl_super_outlives</code> optimization to new trait solver

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: Open (in progress).

rust-lang/rustnumber 142746

#142746 In rust-lang/rust;

· compiler-errors opened on Jun 19, 2025

[perf] Keep regions in canonical param-envs in new solver

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 142733

#142733 In rust-lang/rust;

· compiler-errors opened on Jun 19, 2025

[perf] Canonicalize input ty/ct infer/placeholder in the root universe

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 142732

#142732 In rust-lang/rust;

· compiler-errors opened on Jun 19, 2025

[perf] Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation

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.

Status: Open (in progress).

rust-lang/rustnumber 142647

#142647 In rust-lang/rust;

· compiler-errors opened on Jun 17, 2025

Remove some glob imports from the type system

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: Open (in progress).

rust-lang/rustnumber 142637

#142637 In rust-lang/rust;

· compiler-errors opened on Jun 17, 2025

Allow <code>#[must_use]</code> on associated types to warn on unused values in generic contexts

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

disposition-mergeThis issue / PR is in PFCP or FCP with a disposition to merge it.This issue / PR is in PFCP or FCP with a disposition to merge it.

final-comment-periodIn the final comment period and will be merged soon unless new substantive objections are raised.In the final comment period and will be merged soon unless new substantive objections are raised.

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-documentationStatus: Waiting on approved PRs to documentation before mergingStatus: Waiting on approved PRs to documentation before merging

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

T-langRelevant to the language teamRelevant to the language team

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 142590

#142590 In rust-lang/rust;

· compiler-errors opened on Jun 16, 2025

Don't give APITs names with macro expansion placeholder fragments in it

S-blockedStatus: Blocked on something else such as an RFC or other implementation work.Status: Blocked on something else such as an RFC or other implementation work.

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: Open (in progress).

rust-lang/rustnumber 142393

#142393 In rust-lang/rust;

· compiler-errors opened on Jun 12, 2025

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

perf-regressionPerformance regression.Performance regression.

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.

Status: Open (in progress).

rust-lang/rustnumber 142317

#142317 In rust-lang/rust;

· compiler-errors opened on Jun 10, 2025

Fast path for WF goals in new solver

perf-regressionPerformance regression.Performance regression.

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 142223

#142223 In rust-lang/rust;

· compiler-errors opened on Jun 9, 2025

[PERF] Rework unsizing coercions in new solver

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 141926

#141926 In rust-lang/rust;

· compiler-errors opened on Jun 2, 2025