Remove `Ord` from `chalk_ir::interner::DefId`#740

bors merged 1 commit intorust-lang:masterrust-lang/chalk:masterfrom

pierwill:rm2pierwill/chalk:rm2Copy head branch name to clipboard