Skip to content

Remove ordering traits from LocalExpnId#92358

Closed
pierwill wants to merge 1 commit into
rust-lang:masterfrom
pierwill:untrack-localexpnid-90317-2
Closed

Remove ordering traits from LocalExpnId#92358
pierwill wants to merge 1 commit into
rust-lang:masterfrom
pierwill:untrack-localexpnid-90317-2

Remove ord from newtype_index!

8ebd75d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs