From 664d12d91aac04c1e59b1ec1ac7c3bb0ee22f08c Mon Sep 17 00:00:00 2001
From: pierwill <pierwill@users.noreply.github.com>
Date: Tue, 14 Dec 2021 11:56:00 -0600
Subject: [PATCH] Remove `Ord` from `chalk_ir::interner::Interner::DefId`

See https://github.com/rust-lang/rust/issues/90317 and
https://github.com/rust-lang/rust/pull/90749.
---
 chalk-ir/src/interner.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chalk-ir/src/interner.rs b/chalk-ir/src/interner.rs
index 7c80faf8cf1..4779353ccd4 100644
--- a/chalk-ir/src/interner.rs
+++ b/chalk-ir/src/interner.rs
@@ -188,7 +188,7 @@ pub trait Interner: Debug + Copy + Eq + Ord + Hash + Sized {
     type InternedVariances: Debug + Clone + Eq + Hash;
 
     /// The core "id" type used for trait-ids and the like.
-    type DefId: Debug + Copy + Eq + Ord + Hash;
+    type DefId: Debug + Copy + Eq + Hash;
 
     /// The ID type for ADTs
     type InternedAdtId: Debug + Copy + Eq + Ord + Hash;