fn find_trait_item( genv: &GlobalEnv<'_, '_>, def_id: LocalDefId, ) -> QueryResult<Option<(TraitRef, DefId)>>