Mercurial > repos > alg_tools / file diff

--- a/src/instance.rs	Wed Sep 03 20:52:21 2025 -0500
+++ b/src/instance.rs	Wed Sep 03 21:03:47 2025 -0500
@@ -344,20 +344,6 @@
         X: 'b,
         Self: 'b;
 
-    #[inline]
-    /// Evaluates `f` or `g` depending on whether a reference or owned value is available.
-    fn either<'b, R>(
-        self,
-        f: impl FnOnce(D::Decomposition<'b>) -> R,
-        _g: impl FnOnce(D::Reference<'b>) -> R,
-    ) -> R
-    where
-        X: 'b,
-        Self: 'b,
-    {
-        self.eval_decompose(f)
-    }
-
     /// Returns an owned instance of `X`, cloning or converting non-true instances when necessary.
     fn own(self) -> X::Principal;
 
@@ -387,14 +373,6 @@
 
 impl<X: Space> Instance<X, BasicDecomposition> for X {
     #[inline]
-    fn either<'b, R>(self, f: impl FnOnce(MyCow<'b, X>) -> R, _g: impl FnOnce(&'b X) -> R) -> R
-    where
-        Self: 'b,
-    {
-        f(MyCow::Owned(self))
-    }
-
-    #[inline]
     fn eval_ref<'b, R>(&'b self, f: impl FnOnce(&'b X) -> R) -> R
     where
         X: 'b,
@@ -427,14 +405,6 @@
 
 impl<'a, X: Space> Instance<X, BasicDecomposition> for &'a X {
     #[inline]
-    fn either<'b, R>(self, _f: impl FnOnce(MyCow<'b, X>) -> R, g: impl FnOnce(&'b X) -> R) -> R
-    where
-        Self: 'b,
-    {
-        g(self)
-    }
-
-    #[inline]
     fn eval_ref<'b, R>(&'b self, f: impl FnOnce(&'b X) -> R) -> R
     where
         X: 'b,
@@ -467,14 +437,6 @@
 
 impl<'a, X: Space> Instance<X, BasicDecomposition> for &'a mut X {
     #[inline]
-    fn either<'b, R>(self, _f: impl FnOnce(MyCow<'b, X>) -> R, g: impl FnOnce(&'b X) -> R) -> R
-    where
-        Self: 'b,
-    {
-        g(self)
-    }
-
-    #[inline]
     fn eval_ref<'b, R>(&'b self, f: impl FnOnce(&'b X) -> R) -> R
     where
         X: 'b,
@@ -507,14 +469,6 @@
 
 impl<'a, X: Space> Instance<X, BasicDecomposition> for MyCow<'a, X> {
     #[inline]
-    fn either<'b, R>(self, f: impl FnOnce(MyCow<'b, X>) -> R, _g: impl FnOnce(&'b X) -> R) -> R
-    where
-        Self: 'b,
-    {
-        f(self)
-    }
-
-    #[inline]
     fn eval_ref<'b, R>(&'b self, f: impl FnOnce(&'b X) -> R) -> R
     where
         X: 'b,