Skip to content

nested TAITs/ATPITs should reject higher-ranked regions  #122093

Closed
@compiler-errors

Description

@compiler-errors
type TAIT = impl for<'a> Foo<'a, Assoc = impl Sized>;
                                         ^^^^^^^^^^

should be a hard error.

Metadata

Metadata

Labels

A-lifetimesArea: Lifetimes / regionsF-type_alias_impl_trait`#[feature(type_alias_impl_trait)]`T-compilerRelevant 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.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions