Skip to content

[test] Remove ordering traits from HirId#92199

Closed
pierwill wants to merge 5 commits into
rust-lang:masterfrom
pierwill:untrack-hirid-90317
Closed

[test] Remove ordering traits from HirId#92199
pierwill wants to merge 5 commits into
rust-lang:masterfrom
pierwill:untrack-hirid-90317

Rm Ord from UpvarMigrationInfo; use indexmap instead

2be7848
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs