Mercurial > repos > alg_tools / file diff

--- a/src/mapping.rs	Mon Sep 01 13:51:03 2025 -0500
+++ b/src/mapping.rs	Mon Sep 01 20:55:34 2025 -0500
@@ -166,8 +166,9 @@
     _phantoms: PhantomData<(X, F)>,
 }
 
-impl<F: Space, X, G> Mapping<X> for FlattenedCodomain<X, F, G>
+impl<F, X, G> Mapping<X> for FlattenedCodomain<X, F, G>
 where
+    F: ClosedSpace,
     X: Space,
     G: Mapping<X, Codomain = Loc<1, F>>,
 {
@@ -200,7 +201,7 @@
 impl<'a, X, F, G, const N: usize> Mapping<X> for SlicedCodomain<'a, X, F, G, N>
 where
     X: Space,
-    F: Copy + Space,
+    F: Copy + ClosedSpace,
     G: Mapping<X, Codomain = Loc<N, F>>,
 {
     type Codomain = F;