Search results

interaction between TAIT and const generics is unsound

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

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

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

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

#142239 In rust-lang/rust;

· lcnr opened on Jun 9, 2025

2 comments

false positive "unconstrained opaque type" error on impl trait in trait associated type

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

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

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

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.

#140222 In rust-lang/rust;

· glorv opened on Apr 23, 2025

2 comments

Precise captures in ITIAT are not refining

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-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-trait-systemArea: Trait systemArea: Trait system

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

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

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

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.

#135144 In rust-lang/rust;

· QuineDot opened on Jan 6, 2025

2 comments

TAIT coherence checks don't ensure composability of crates

A-coherenceArea: CoherenceArea: Coherence

A-trait-systemArea: Trait systemArea: Trait system

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

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

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

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

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.

#130978 In rust-lang/rust;

· steffahn opened on Sep 28, 2024

1

5 comments



Better type inference with impl_trait_in_assoc_type (ITIAT)

D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.

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

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

Status: Open.

#130910 In rust-lang/rust;

· cynecx opened on Sep 27, 2024

1 comment

regression on nightly-2024-03-16

A-coroutinesArea: CoroutinesArea: Coroutines

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

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

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

P-mediumMedium priorityMedium priority

regression-untriagedUntriaged performance or correctness regression.Untriaged performance or correctness regression.

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.

Status: Open.

#122618 In rust-lang/rust;

· xxchan opened on Mar 17, 2024

4 comments

impl_trait_in_fn_trait_return / impl_trait_in_assoc_type doesn't resolve future correctly

A-inferenceArea: Type inferenceArea: Type inference

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

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

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

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.

#122458 In rust-lang/rust;

· TheDan64 opened on Mar 13, 2024

1 comment

Stabilize associated type position impl Trait (ATPIT)

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

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.

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

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-blockedStatus: Blocked on something else such as an RFC or other implementation work.Status: Blocked on something else such as an RFC or other implementation work.

S-waiting-on-concernsStatus: Awaiting concerns to be addressed by the authorStatus: Awaiting concerns to be addressed by the author

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

rust-lang/rustnumber 120700

#120700 In rust-lang/rust;

· traviscross opened on Feb 6, 2024

61



Compilation Hang and Memory Exhaustion When Compiling Code with Associated Type and Trait Objects

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

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

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

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

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.

#117275 In rust-lang/rust;

· iamanonymouscs opened on Oct 27, 2023

3 comments

ICE: unexpected initial operand type.

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

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

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.

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.

#114858 In rust-lang/rust;

· fakeshadow opened on Aug 15, 2023

13 comments

Explain how to fix “no field on type” on a TAIT / ATPIT typed value

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.

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

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

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

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.

#113581 In rust-lang/rust;

· kpreid opened on Jul 11, 2023

1 comment

Exponential compile times for chained RPITIT

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

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

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

I-compiletimeIssue: Problems and improvements with respect to compile times.Issue: Problems and improvements with respect to compile times.

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

Status: Open.

#102527 In rust-lang/rust;

· Artemis21 opened on Sep 30, 2022

5 comments



Unexpected "the parameter type X may not live long enough" error in asynchronous functions

A-async-awaitArea: Async & AwaitArea: Async & Await

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

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-trait-systemArea: Trait systemArea: Trait system

AsyncAwait-TriagedAsync-await issues that have been triaged during a working group meeting.Async-await issues that have been triaged during a working group meeting.

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

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-asyncWorking group: Async & awaitWorking group: Async & await

Status: Open.

#95719 In rust-lang/rust;

· wvwwvwwv opened on Apr 6, 2022

4 comments

Tracking issue for RFC 2515, "Permit impl Trait in type aliases"

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

B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.Blocker: Approved by a merged RFC but not yet implemented.

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

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-impl_trait_in_assoc_type`#![feature(impl_trait_in_assoc_type)]``#![feature(impl_trait_in_assoc_type)]`

F-type_alias_impl_trait`#[feature(type_alias_impl_trait)]``#[feature(type_alias_impl_trait)]`

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.

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

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.

#63063 In rust-lang/rust;

· Centril opened on Jul 28, 2019

173 comments