Sure, but you could presumably have some logic like "Copilot wants to type the string `MyClass.non_existent_method()`. Does the type checker accept this line? I

Sure, but you could presumably have some logic like "Copilot wants to type the string `MyClass.non_existent_method()`. Does the type checker accept this line? If not, tell Copilot to try again." (I suspect possibly the reason that this does _not_ seem to be commonly done is that reliably producing _something_ (even if it's nonsense) is seen as more appealing to users than potentially not producing anything. And of course passing type checking is no guarantee of correctness.)