Itens gerados pelo derive violam o escopo declarado

Os itens gerados escapam do escopo de expansão declarado por `@derive_for`, como uma função livre sem relação criada por um derive restrito a impl.