Search results

TAIT bug report from tracking issue

F-impl_trait_in_assoc_type`#![feature(impl_trait_in_assoc_type)]``#![feature(impl_trait_in_assoc_type)]`

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

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.

#150685 In rust-lang/rust;

· BoxyUwU opened on Jan 5, 2026

Check item bounds for projection clause wellformedness

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.

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

rust-lang/rustnumber 150662

#150662 In rust-lang/rust;

· adwinwhite opened on Jan 4, 2026

Allow incoherent trait implementations

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

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.

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

rust-lang/rustnumber 150652

#150652 In rust-lang/rust;

· cvengler opened on Jan 3, 2026

Post-mono coinduction ICEs Miri and next-solver

A-coinductionArea: Concerning coinduction, most often for auto traitsArea: Concerning coinduction, most often for auto traits

A-miriArea: The miri toolArea: The miri tool

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

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.

#150508 In rust-lang/rust;

· theemathas opened on Dec 30, 2025

regression: "the parameter type <code>T</code> may not live long enough" in <code>offset_of!</code>

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

C-bugCategory: This is a bug.Category: This is a bug.

disposition-closeThis PR / issue is in PFCP or FCP with a disposition to close it.This PR / issue is in PFCP or FCP with a disposition to close 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.

P-mediumMedium priorityMedium priority

regression-from-stable-to-betaPerformance or correctness regression from stable to beta.Performance or correctness regression from stable to beta.

S-has-bisectionStatus: A bisection has been found for this issueStatus: A bisection has been found for this issue

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this 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.

Status: Open.

#150465 In rust-lang/rust;

· cuviper opened on Dec 28, 2025

·  

1.93.0

RPITIT implementation requires bounds inconsistently

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

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.

#150418 In rust-lang/rust;

· QuineDot opened on Dec 27, 2025

GAT implementation requires bounds inconsistently

A-GATsArea: Generic associated types (GATs)Area: Generic associated types (GATs)

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

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.

#150417 In rust-lang/rust;

· QuineDot opened on Dec 27, 2025

ICE from specializing Drop impl with impossible bound

A-destructorsArea: Destructors (`Drop`, …)Area: Destructors (`Drop`, …)

A-impossible-boundsArea: Issues related to have impossible trait bounds in scope (impossible predicates)Area: Issues related to have impossible trait bounds in scope (impossible predicates)

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

F-min_specialization`#![feature(min_specialization)]``#![feature(min_specialization)]`

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

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.

Status: Open.

#150387 In rust-lang/rust;

· theemathas opened on Dec 26, 2025

ICE in release builds from 1.90.0 onwards

A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

A-mir-optArea: MIR optimizationsArea: MIR optimizations

A-mir-opt-inliningArea: MIR inliningArea: MIR inlining

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

I-prioritizeIssue: Indicates that prioritization has been requested for this issue.Issue: Indicates that prioritization has been requested for this issue.

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issue

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.

Status: Open.

#150263 In rust-lang/rust;

· zxqfd555 opened on Dec 22, 2025

Tracking Issue for <code>PinCoerceUnsized</code>

A-coercionsArea: implicit and explicit `expr as Type` coercionsArea: implicit and explicit `expr as Type` coercions

A-DSTsArea: Dynamically-sized types (DSTs)Area: Dynamically-sized types (DSTs)

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-coerce_unsizedThe `CoerceUnsized` traitThe `CoerceUnsized` trait

T-langRelevant to the language teamRelevant to the language team

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.

#150112 In rust-lang/rust;

· Darksonn opened on Dec 17, 2025

Specializing <code>Option&lt;T&gt;</code> for <code>bool</code> with associated types is not expressible (even on nightly)

A-specializationArea: Trait impl specializationArea: Trait impl specialization

C-feature-requestCategory: A feature request, i.e: not implemented / a PR.Category: A feature request, i.e: not implemented / a PR.

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.

#150087 In rust-lang/rust;

· ImadRedwan opened on Dec 17, 2025

Array patterns and tuple patterns don't properly check for Sized

A-patternsRelating to patterns and pattern matchingRelating to patterns and pattern matching

A-type-systemArea: Type systemArea: Type system

C-bugCategory: This is a bug.Category: This is a bug.

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

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.

Status: Open.

#150040 In rust-lang/rust;

· theemathas opened on Dec 16, 2025