Skip to content

NFC normalize lifetime identifiers#149192

Merged
bors merged 2 commits intorust-lang:mainfrom
gmorenz:normalize_lifetimes
Dec 14, 2025
Merged

NFC normalize lifetime identifiers#149192
bors merged 2 commits intorust-lang:mainfrom
gmorenz:normalize_lifetimes

Commits

Commits on Nov 21, 2025