Skip to content

rustc stuck during assoc normalization #138665

Closed
@Odomontois

Description

@Odomontois

I tried this code:

pub(crate) trait Tailed<'a>: 'a {
    type Tail: 'a;
}

pub struct List<'a, T: Tailed<'a>> {
    next: List<'a, T::Tail>,
}

The compiler hangs during compilation, falling into infinite normalization loop.

Meta

rustc --version --verbose:

rustc 1.85.0 (4d91de4e4 2025-02-17)
binary: rustc
commit-hash: 4d91de4e48198da2e33413efdcd9cd2cc0c46688
commit-date: 2025-02-17
host: aarch64-apple-darwin
release: 1.85.0
LLVM version: 19.1.7

Metadata

Metadata

Labels

A-implied-boundsArea: Implied bounds / inferred outlives-boundsC-bugCategory: This is a bug.I-hangIssue: 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.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