Remove unnecessary trait bounds in Mapping implementation

Fri, 16 Jan 2026 14:09:45 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Fri, 16 Jan 2026 14:09:45 -0500
changeset 4
f248f9848c87
parent 3
fbdee8e4a78d
child 5
e781c543e228

Remove unnecessary trait bounds in Mapping implementation

src/delta.rs file | annotate | diff | comparison | revisions
src/discrete.rs file | annotate | diff | comparison | revisions
--- a/src/delta.rs	Thu Dec 04 14:36:22 2025 -0500
+++ b/src/delta.rs	Fri Jan 16 14:09:45 2026 -0500
@@ -76,7 +76,7 @@
 where
     Domain: Space,
     G::Codomain: Mul<F, Output = G::Codomain>,
-    G: Mapping<Domain> + Clone + ClosedSpace,
+    G: Mapping<Domain> + ClosedSpace,
     for<'b> &'b Domain: Instance<Domain>,
 {
     type Codomain = G::Codomain;
@@ -91,7 +91,7 @@
 where
     Domain: Space,
     G::Codomain: Mul<F, Output = G::Codomain>,
-    G: Mapping<Domain> + Clone + ClosedSpace,
+    G: Mapping<Domain> + ClosedSpace,
     for<'b> &'b Domain: Instance<Domain>,
 {
 }
--- 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