El tipo asociado no satisface el bound declarado

Una implementación eligió un tipo asociado concreto que no satisface un bound que el trait declaró para él. El diagnóstico nombra la implementación, el tipo asociado proyectado y el requisito que falló — el tipo original se conserva, nunca se amplía silenciosamente a `Any`.