pub trait Namespace: Element { // Provided method fn names_of(&self, _element: &dyn Element) -> Vec<String> { ... } }