Tim Davis doesn't actually have any instance of copyright infringement to complain about; he was able to induce Copilot to /mostly/ recreate his code through careful prompting, but no one has actually deployed the code. By the same token, we don't outlaw ctrl-c and ctrl-v buttons on computers.

There is plenty of space here to discuss developing tools to check for unintentional infringement. I would guess, though, that such tools would sweep up a whoooole lot of non-copilot human usage and make it much harder to deploy anything new.

So, maybe a better discussion to have here is how to make the animal safer, not the total outlawing of the animal. Single-line completions (the majority of co-pilot usage) aren't infringing. Probably true for almost-any few line completion. So, capping the amount of consecutive auto-completed code might be a reasonable 'muzzle' on the model to keep it reasonably safe.