Search results

try evaluate nested goals with reduced depth first

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 143638

#143638 In rust-lang/rust;

· by lcnr was closed on Jul 30, 2025

<code>proven_via</code> into query response

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 142953

#142953 In rust-lang/rust;

· by lcnr was closed on Jul 21, 2025

[for errs] perf run <code>sub_relations</code> change

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: Closed (abandoned).

rust-lang/rustnumber 140480

#140480 In rust-lang/rust;

· by lcnr was closed on Apr 29, 2025

support revealing uses of opaques

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 139587

#139587 In rust-lang/rust;

· by lcnr was closed on Aug 27, 2025

don't check for overlap if it's allowed regardless

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: Closed (abandoned).

rust-lang/rustnumber 135524

#135524 In rust-lang/rust;

· by lcnr was closed on Jan 17, 2025

canonicalizer: add lookup table

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: Closed (abandoned).

rust-lang/rustnumber 125495

#125495 In rust-lang/rust;

· by lcnr was closed on Oct 3, 2024

move infer var storage into a new type

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: Closed (abandoned).

rust-lang/rustnumber 120494

#120494 In rust-lang/rust;

· by lcnr was closed on Feb 5, 2024

[perf] alternative approach to #117703

A-query-systemArea: The rustc query system (https://rustc-dev-guide.rust-lang.org/query.html) Area: The rustc query system (https://rustc-dev-guide.rust-lang.org/query.html)

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

Status: Closed (abandoned).

rust-lang/rustnumber 118136

#118136 In rust-lang/rust;

· by lcnr was closed on Nov 24, 2023