Yes, as long as the implementation is in the same module/crate as the T.
It's only where both the left and right-hand side are in external crates that would be a problem.
It's only where both the left and right-hand side are in external crates that would be a problem.