That's similar to how Microsoft's Pylance language server is based on the company's Pyright static type checking tool. Other improvements in the update include fixes, code health (including support ...