Search results

<code>-Znext-solver</code> instantiate predicate binder without recanonicalizing goal

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.

I-types-nominatedNominated for discussion during a types team meeting.Nominated for discussion during a types team meeting.

S-no-work-capacity-trackingStatus: Exempted from triagebot work capacity tracking.Status: Exempted from triagebot work capacity tracking.

S-waiting-on-fcpStatus: PR is in FCP and is awaiting for FCP to complete.Status: PR is in FCP and is awaiting for FCP to complete.

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 146725

#146725 In rust-lang/rust;

· lcnr opened on Sep 18, 2025

<code>-Znext-solver</code> slightly strenghten deduce closure sig

S-no-work-capacity-trackingStatus: Exempted from triagebot work capacity tracking.Status: Exempted from triagebot work capacity tracking.

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 146720

#146720 In rust-lang/rust;

· lcnr opened on Sep 18, 2025

fulfill: dedup newly added obligations

perf-regressionPerformance regression.Performance regression.

S-no-work-capacity-trackingStatus: Exempted from triagebot work capacity tracking.Status: Exempted from triagebot work capacity tracking.

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 145714

#145714 In rust-lang/rust;

· lcnr opened on Aug 21, 2025