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