Search results

opaque type leakage and RPITIT normalization

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

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

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)The Rustc Trait System Refactor Initiative (-Znext-solver)

Status: Open.

#139788 In rust-lang/rust;

· lcnr opened on Apr 14, 2025

Exponential time complexity for parser combinator with RPITIT

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

E-needs-mcveCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example

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

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

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.

#132991 In rust-lang/rust;

· DaniPopes opened on Nov 13, 2024

RPITIT causes incorrect "dropped while still borrowed" error in some cases

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

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

Status: Open.

#131490 In rust-lang/rust;

· cdhowie opened on Oct 10, 2024

Unable to write blanket impl for subtrait on RPITIT trait

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

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

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

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.

#124729 In rust-lang/rust;

· traviscross opened on May 4, 2024

<code>refining_impl_trait</code> only fires on public traits

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

A-trait-systemArea: Trait systemArea: Trait system

F-refine`#![feature(refine)]`; RFC #3245`#![feature(refine)]`; RFC #3245

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

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#119535 In rust-lang/rust;

· tmandry opened on Jan 3, 2024

return_position_impl_trait_in_trait can not express static lifetime bound

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

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.

#117210 In rust-lang/rust;

· mikialex opened on Oct 26, 2023

RPITIT with Send trait marker breaks borrow checker

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

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

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

Status: Open.

#111105 In rust-lang/rust;

· nandesu-utils opened on May 2, 2023

Weird interaction between specialization and RPITITs

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

F-async_fn_in_traitStatic async fn in traitsStatic async fn in traits

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

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

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.

#108309 In rust-lang/rust;

· compiler-errors opened on Feb 21, 2023