Can i define a trait implementing another trait’s associated function when there is already a generic implementation for the trait Im implementing?

Question

Context: I am working with an external crate that defines a trait ExternalTrait eg

pub trait ExternalTra