Rm Ord impl for RecordedItemId<I>

Author: pierwill

chalk-solve/src/logging_db.rs

@@ -2,7 +2,6 @@
 //! `.chalk` files containing those definitions.
 use std::{
     borrow::Borrow,
-    cmp::{Ord, Ordering},
     collections::BTreeSet,
     fmt::{self, Debug, Display},
     io::Write,
@@ -581,13 +580,6 @@ impl<I: Interner> From<GeneratorId<I>> for RecordedItemId<I> {
     }
 }
 
-/// Utility for implementing Ord for RecordedItemId.
-#[derive(PartialEq, Eq, PartialOrd, Ord)]
-enum OrderedItemId<'a, DefId, AdtId> {
-    DefId(&'a DefId),
-    AdtId(&'a AdtId),
-}
-
 impl<I: Interner> RecordedItemId<I> {
     /// Extract internal identifier. Allows for absolute ordering matching the
     /// order in which chalk saw things (and thus reproducing that order in
@@ -603,15 +595,3 @@ impl<I: Interner> RecordedItemId<I> {
         }
     }
 }
-
-impl<I: Interner> PartialOrd for RecordedItemId<I> {
-    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
-        Some(self.cmp(other))
-    }
-}
-
-impl<I: Interner> Ord for RecordedItemId<I> {
-    fn cmp(&self, other: &Self) -> Ordering {
-        self.ordered_item_id().cmp(&other.ordered_item_id())
-    }
-}