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.