Skip to content

Use a separate interner type for UniqueTypeId#87867

Merged
bors merged 1 commit intorust-lang:masterfrom bjorn3:unique_type_id_internerSep 15, 2021
+61-11

Commits

Commits on Sep 13, 2021