Search results

Misc tweaks to HIR typeck (mostly w.r.t. checking calls)

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 140498

#140498 In rust-lang/rust;

· compiler-errors opened on Apr 30, 2025

Incompletely allow overloaded call from opaque when self type bottoms out in infer

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: Draft (not ready).

rust-lang/rustnumber 140496

#140496 In rust-lang/rust;

· compiler-errors opened on Apr 30, 2025

Incompletely prefer opaque type bounds when self type bottoms out in infer

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: Draft (not ready).

rust-lang/rustnumber 140405

#140405 In rust-lang/rust;

· compiler-errors opened on Apr 28, 2025

Resolve instance for SymFn in global/naked asm

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 140374

#140374 In rust-lang/rust;

· compiler-errors opened on Apr 27, 2025

Only prefer param-env candidates if they remain non-global after norm

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 140260

#140260 In rust-lang/rust;

· compiler-errors opened on Apr 24, 2025

[crater] Only consider predicate non-global if binder vars are in PREDICATE binder

S-waiting-on-craterStatus: Waiting on a crater run to be completed.Status: Waiting on a crater 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.

Status: Draft (not ready).

rust-lang/rustnumber 140209

#140209 In rust-lang/rust;

· compiler-errors opened on Apr 23, 2025

Make well-formedness predicates no longer coinductive

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.

proposed-final-comment-periodProposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.

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

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

rust-lang/rustnumber 140208

#140208 In rust-lang/rust;

· compiler-errors opened on Apr 23, 2025

Remove <code>Symbol</code> from <code>Named</code> variant of <code>BoundRegionKind</code>/<code>LateParamRegionKind</code>

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.

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.

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 139598

#139598 In rust-lang/rust;

· compiler-errors opened on Apr 9, 2025

[experiment] How expensive is <code>if_cause</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.

Status: Draft (not ready).

rust-lang/rustnumber 139594

#139594 In rust-lang/rust;

· compiler-errors opened on Apr 9, 2025

Stop dirtying incremental with span access when computing region scope span

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: Draft (not ready).

rust-lang/rustnumber 139459

#139459 In rust-lang/rust;

· compiler-errors opened on Apr 6, 2025

Error on recursive opaque ty in HIR typeck

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.

proposed-final-comment-periodProposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off.

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

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

rust-lang/rustnumber 139419

#139419 In rust-lang/rust;

· compiler-errors opened on Apr 5, 2025

Move coercion hack from <code>coerce_unsized</code> to <code>check_cast</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.

Status: Open (in progress).

rust-lang/rustnumber 138542

#138542 In rust-lang/rust;

· compiler-errors opened on Mar 15, 2025