I wonder if my thread Idea: partial impls might provide an alternative solution for this sort of code reuse. You could write a default partial impl<T: Mammal> Animal for T to specify that common behavior. (With the current orphan rules, this would require Mammal and Animal to be defined in the same crate, but it should be possible to relax that somewhat.)
2 Likes