Mercurial > repos > alg_tools / file diff

--- a/src/mapping.rs	Mon May 12 19:30:41 2025 -0500
+++ b/src/mapping.rs	Mon May 12 20:40:14 2025 -0500
@@ -308,8 +308,9 @@
         //     inner: self.inner.differential_impl(x),
         //     intermediate_norm_exponent: self.intermediate_norm_exponent,
         // }
+
         self.outer
-            .differential_impl(self.inner.apply(x.ref_instance()))
+            .differential_impl(x.eval_ref_decompose(|r| self.inner.apply(r)))
             * self.inner.differential_impl(x)
     }
 }