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