fn assoc_item_of_trait( db: &dyn HirDatabase, assoc: AssocItem, trait_: Trait, ) -> Option<Definition>