Our difference traits, Semigroup, Monoid, and Abelian, have been defined to require Data, which has been a helpful catch-all trait that includes 'static. However, it is reasonable to want to implement these traits for lifetimed data, for example a Cow<'a, Diff> type.
This PR replaces Data with Clone in the requirements for the difference traits, and moves the 'static and occasionally Ord requirements to those locations where they are required. This is a bit noisier, but I think a bit more "accurate".
Our difference traits,
Semigroup,Monoid, andAbelian, have been defined to requireData, which has been a helpful catch-all trait that includes'static. However, it is reasonable to want to implement these traits for lifetimed data, for example aCow<'a, Diff>type.This PR replaces
DatawithClonein the requirements for the difference traits, and moves the'staticand occasionallyOrdrequirements to those locations where they are required. This is a bit noisier, but I think a bit more "accurate".