Tipo associado não satisfaz o bound declarado

Uma implementação escolheu um tipo associado concreto que não satisfaz um bound declarado pelo trait para ele. O diagnóstico nomeia a implementação, o tipo associado projetado e o requisito que falhou — o tipo original é preservado, nunca é ampliado silenciosamente para `Any`.