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
Simple performance improvement for Denotations (#21584)
A simple performance improvement extracted from #21278. This PR reduces `denot` calls in `widen`s.
This is a simpler approach which can reduce the compilation time of
#20217 from 60s to about 40s.
0 commit comments