Fri, 16 Jan 2026 14:09:45 -0500
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>, { }