Remove Ord from chalk_ir::interner::Interner::DefId

See rust-lang/rust#90317 and rust-lang/rust#90749.
pierwill · Dec 14, 2021 · 664d12d · 664d12d
1 parent 977b0a5
commit 664d12d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;