Commits
Doug Gregor committed 4ddd82cc898
As soon as a (partial) solution becomes worse than the best solution, stop. This shaves about 10% off the number of solution states explored when type-checking the standard library, although it doesn't improve overall time by much. In a more targeted benchmark, 1 + 2.0 + 1, we get a 21% speedup. Swift SVN r11033