Skip to content

ir: Make Ord and PartialOrd implementations agree.#1627

Merged
emilio merged 1 commit intorust-lang:masterfrom
emilio:ord-shenanigans
Sep 23, 2019
Merged

ir: Make Ord and PartialOrd implementations agree.#1627
emilio merged 1 commit intorust-lang:masterfrom
emilio:ord-shenanigans

Commits

Commits on Sep 23, 2019