From a0b8f38ab54ac451646aa00cd5e91b6c76f22a84 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 30 May 2024 05:57:19 +0200 Subject: Merging upstream version 1.72.1+dfsg1. Signed-off-by: Daniel Baumann --- vendor/chalk-engine/src/derived.rs | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 vendor/chalk-engine/src/derived.rs (limited to 'vendor/chalk-engine/src/derived.rs') diff --git a/vendor/chalk-engine/src/derived.rs b/vendor/chalk-engine/src/derived.rs deleted file mode 100644 index b3cdc3d0d..000000000 --- a/vendor/chalk-engine/src/derived.rs +++ /dev/null @@ -1,34 +0,0 @@ -// These impls for PartialEq, Eq, etc are written by hand. This is -// because the `#[derive()]` would add requirements onto the context -// object that are not needed. - -use super::*; -use std::cmp::{Eq, PartialEq}; -use std::hash::{Hash, Hasher}; -use std::mem; - -/////////////////////////////////////////////////////////////////////////// - -impl PartialEq for Literal { - fn eq(&self, other: &Literal) -> bool { - match (self, other) { - (Literal::Positive(goal1), Literal::Positive(goal2)) - | (Literal::Negative(goal1), Literal::Negative(goal2)) => goal1 == goal2, - - _ => false, - } - } -} - -impl Eq for Literal {} - -impl Hash for Literal { - fn hash(&self, state: &mut H) { - mem::discriminant(self).hash(state); - match self { - Literal::Positive(goal) | Literal::Negative(goal) => { - goal.hash(state); - } - } - } -} -- cgit v1.2.3