Skip to content

Clarify some interning details#158642

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:interning-clarification
Jul 6, 2026
Merged

Clarify some interning details#158642
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
nnethercote:interning-clarification