Generated derive items violate the declared scope

Why this fires¶

The generated items escape the derive's allowed expansion scope. For example, an impl-scoped derive may not smuggle an unrelated free function beside its generated impl.

Fix it¶

Keep the output inside the declared scope, or choose the appropriate scope: contract on @derive_for when broader output is intentional.