You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Use a faster type query visitor and reuse visitor across calls.
This should speed up type checking slightly. My measurements show a
~0.5% improvement, but it may be below the noise floor.
0 commit comments