Although legally there may be a problem, in practice this seems to be a bit of a "so what?" scenario. Our hypothetical dev is using a tool that writes a functio

Although legally there may be a problem, in practice this seems to be a bit of a "so what?" scenario. Our hypothetical dev is using a tool that writes a function. It writes the function. The dev was going to get a function that did what he wanted one way or another so it isn't clear that it makes much difference if the function happens to be a clone of a copyrighted function. If it were my GPLed code being copied, it doesn't seem to make any difference whether I press copyright claims or not. It won't help me compete against this dev's company. They'd use Copilot to rewrite the code differently. The speed of improvement in code-writing tools doesn't give me much hope that my code is uniquely clever.