It's turtles all the way down. Though in seriousness I'd presume it would be bad type checker uses language server which uses better type checker, which may he

It's turtles all the way down. Though in seriousness I'd presume it would be bad type checker uses language server which uses better type checker, which may help with the problem.