Skip to content

ignore loc in Ord just like in PartialOrd - #2496

Merged
victornicolet merged 1 commit into
mainfrom
victornicolet/entity-ignore-loc-in-ord-educe
Aug 5, 2026
Merged

ignore loc in Ord just like in PartialOrd#2496
victornicolet merged 1 commit into
mainfrom
victornicolet/entity-ignore-loc-in-ord-educe

Commits

Commits on Jul 28, 2026