rustc stuck during assoc normalization #138665
Description
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
Assignees
Labels
Area: Implied bounds / inferred outlives-boundsCategory: This is a bug.Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc.Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.