Skip to content

Use a separate interner type for UniqueTypeId#87867

Merged
bors merged 1 commit intorust-lang:masterfrom
bjorn3:unique_type_id_interner
Sep 15, 2021
Merged

Use a separate interner type for UniqueTypeId#87867
bors merged 1 commit intorust-lang:masterfrom
bjorn3:unique_type_id_interner

Commits

Commits on Sep 13, 2021