src/discrete.rs

changeset 4
f248f9848c87
parent 0
e8f3b6c55ce7
child 5
e781c543e228
--- a/src/discrete.rs	Thu Dec 04 14:36:22 2025 -0500
+++ b/src/discrete.rs	Fri Jan 16 14:09:45 2026 -0500
@@ -479,7 +479,7 @@
 where
     Domain: Space,
     G::Codomain: Sum + Mul<F, Output = G::Codomain>,
-    G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace,
+    G: Mapping<Domain, Codomain = F> + ClosedSpace,
     for<'b> &'b Domain: Instance<Domain>,
 {
     type Codomain = G::Codomain;
@@ -494,7 +494,7 @@
 where
     Domain: Space,
     G::Codomain: Sum + Mul<F, Output = G::Codomain>,
-    G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace,
+    G: Mapping<Domain, Codomain = F> + ClosedSpace,
     for<'b> &'b Domain: Instance<Domain>,
 {
 }

mercurial