Checking Slowly in IDE

• How to design benchmark for type checking speed

  Answer by ChatGPT https://chat.openai.com/share/2d11bf9e-0d93-4b53-8a36-ee4b87bffaca

ref：

• Performance at Github