It's a violation but this examples doesn't jive with how I use Copilot, for whatever that is worth. Usually Copilot takes into account context and integrates the various bits into a whole that fits in with the surrounding code. The "empty file, type function signature" use case feels somewhat dubious to try to understand actual, not theoretical, harm. Though I respect the right for this person to defend their rights.