Skip to content

Optionally add type names to TypeIds.#136148

Merged
bors merged 1 commit intorust-lang:masterfrom
kpreid:type-str
Feb 21, 2025
Merged

Optionally add type names to `TypeId`s.#136148
bors merged 1 commit intorust-lang:masterfrom
kpreid:type-str

Commits

Commits on Feb 12, 2025