Anthony Latsis a359f7745c Add type-checker performance tracking test for #43369 ...

To make this test work, fix an issue in `ConstraintSystem::salvage` where a
threshold breach during solving went unnoticed due to exiting on ambiguity
before reaching the `isTooComplex` check. Address this by moving the
`isTooComplex` check to before we start processing solutions, and stick another
one in `findBestSolution` for short-circuiting while we're here.

2022-07-09 16:34:19 +03:00

247 KiB

Raw Blame History

View Raw