Skip to content

Use interned symbols instead of strings in more places#14855

Merged
y21 merged 1 commit intorust-lang:masterfrom
samueltardieu:more-symbols
Jun 1, 2025
Merged

Use interned symbols instead of strings in more places#14855
y21 merged 1 commit intorust-lang:masterfrom
samueltardieu:more-symbols

Commits

Commits on May 31, 2025