Search results

ICE with dyn of subtrait of Pointee

A-dyn-traitArea: trait objects, vtable layoutArea: trait objects, vtable layout

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) ❄️

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.

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

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.

#148203 In rust-lang/rust;

· theemathas opened on Oct 28, 2025

<code>Copy</code> should imply <code>const Destruct</code>

A-trait-systemArea: Trait systemArea: Trait system

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.

Status: Open.

#148189 In rust-lang/rust;

· clarfonthey opened on Oct 27, 2025

Segfault on nightly with feature Pointer Metadata

A-dyn-compatibilityArea: Dyn compatibility (formerly: object safety)Area: Dyn compatibility (formerly: object safety)

A-dyn-traitArea: trait objects, vtable layoutArea: trait objects, vtable layout

A-trait-systemArea: Trait systemArea: Trait system

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

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

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.

#148089 In rust-lang/rust;

· sirati opened on Oct 25, 2025

Inference issues with trait constification

A-trait-systemArea: Trait systemArea: Trait system

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

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

PG-const-traitsProject group: Const traitsProject group: Const traits

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.

#148028 In rust-lang/rust;

· clarfonthey opened on Oct 23, 2025

SignatureMismatch ICE

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) ❄️

P-highHigh priorityHigh priority

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.

#146965 In rust-lang/rust;

· benruijl opened on Sep 24, 2025

Const generics do not accept exhaustive trait impls

A-coherenceArea: CoherenceArea: Coherence

A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)

A-trait-systemArea: Trait systemArea: Trait system

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

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.

#146962 In rust-lang/rust;

· clarfonthey opened on Sep 24, 2025

Function bodies affect compilation of other functions

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

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.

#146680 In rust-lang/rust;

· swooster opened on Sep 17, 2025

<code>Wrap&lt;T&gt;: Sized</code> should imply <code>T: Sized</code>

A-trait-systemArea: Trait systemArea: Trait system

A-type-systemArea: Type systemArea: Type system

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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.

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.

#146670 In rust-lang/rust;

· theemathas opened on Sep 17, 2025

impl Trait missed bound should hint if underlying type could satisfy the bound

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

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

D-lack-of-suggestionDiagnostics: Adding a (structured) suggestion would increase the quality of the diagnostic.Diagnostics: Adding a (structured) suggestion would increase the quality of the diagnostic.

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.

#146607 In rust-lang/rust;

· zesterer opened on Sep 15, 2025

Adding a trait bound can change evaluation order of compound assignments.

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

#146430 In rust-lang/rust;

· theemathas opened on Sep 11, 2025

Infinite call recursion in rustc when resolving associated types

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-hangIssue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.

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.

#145998 In rust-lang/rust;

· rmalmain opened on Aug 29, 2025

next-solver: "expected generic lifetime parameter, found <code>'_</code>"

A-trait-systemArea: Trait systemArea: Trait system

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

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.

#145748 In rust-lang/rust;

· xDarksome opened on Aug 22, 2025