Search results

<code>evaluate_goal</code> avoid unnecessary step

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 142774

#142774 In rust-lang/rust;

· lcnr opened on Jun 20, 2025

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

S-waiting-on-perfStatus: Waiting on a perf run to be completed.Status: Waiting on a perf run to be completed.

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 142746

#142746 In rust-lang/rust;

· compiler-errors opened on Jun 19, 2025

lazily reevaluate nested goals

S-waiting-on-perfStatus: Waiting on a perf run to be completed.Status: Waiting on a perf run to be completed.

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 142735

#142735 In rust-lang/rust;

· lcnr opened on Jun 19, 2025

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

S-waiting-on-perfStatus: Waiting on a perf run to be completed.Status: Waiting on a perf run to be completed.

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

hir_analysis: add missing sizedness bounds

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.

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

rust-lang/rustnumber 142712

#142712 In rust-lang/rust;

· davidtwco opened on Jun 19, 2025

add #![rustc_no_implicit_bounds]

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 142671

#142671 In rust-lang/rust;

· davidtwco opened on Jun 18, 2025

trait_sel: add builtin impl for <code>PointeeSized</code>

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 142663

#142663 In rust-lang/rust;

· davidtwco opened on Jun 18, 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

improve search graph docs, reset <code>encountered_overflow</code> between reruns

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 142617

#142617 In rust-lang/rust;

· lcnr 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

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