pub trait TopLevelLanguageElementId: NamedLanguageElementId {
// Provided method
fn full_path(&self, db: &dyn DefsGroup) -> String { ... }
}
pub trait TopLevelLanguageElementId: NamedLanguageElementId {
// Provided method
fn full_path(&self, db: &dyn DefsGroup) -> String { ... }
}