Code

Remove ordering traits from HirId#92233

Code

Closed

pierwill wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

pierwill:untrack-hirid-90317pierwill/rust:untrack-hirid-90317Copy head branch name to clipboard

Commits

Commits on Jul 6, 2022

• Remove ordering traits from `HirId`

  Show description for 076fc29
  pierwill

  committed
  076fc29

  Copy full SHA for 076fc29