Remove Ord from chalk_ir::interner::DefId#740
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 23, 2021
pierwill:rm2
Merged
Remove Ord from chalk_ir::interner::DefId#740bors merged 1 commit intorust-lang:masterfrom pierwill:rm2
Ord from chalk_ir::interner::DefId#740bors merged 1 commit intorust-lang:masterfrom
pierwill:rm2
