# HG changeset patch # User Tuomo Valkonen # Date 1768590585 18000 # Node ID f248f9848c87d7f6d7d2b37cb2372613e6065f84 # Parent fbdee8e4a78df6df17de56575a94ea12e85d4520 Remove unnecessary trait bounds in Mapping implementation diff -r fbdee8e4a78d -r f248f9848c87 src/delta.rs --- 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, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { type Codomain = G::Codomain; @@ -91,7 +91,7 @@ where Domain: Space, G::Codomain: Mul, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { } diff -r fbdee8e4a78d -r f248f9848c87 src/discrete.rs --- 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, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { type Codomain = G::Codomain; @@ -494,7 +494,7 @@ where Domain: Space, G::Codomain: Sum + Mul, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { }