TypecheckContext doesn't need PartialEq

1 files changed, 0 insertions, 9 deletions

diff --git a/dhall/src/semantics/core/context.rs b/dhall/src/semantics/core/context.rs
index f755f72..79f2737 100644
--- a/dhall/src/semantics/core/context.rs
+++ b/dhall/src/semantics/core/context.rs
@@ -133,12 +133,3 @@ impl Subst<Value> for TypecheckContext {
         self.subst_shift(var, val)
     }
 }
-
-/// Don't count contexts when comparing stuff.
-/// This is dirty but needed.
-impl PartialEq for TypecheckContext {
-    fn eq(&self, _: &Self) -> bool {
-        true
-    }
-}
-impl Eq for TypecheckContext {}