Commits
Doug Gregor committed e076b64e0ba
Introduce the notion of a "trivially solved" constraint, which is simply verified but did not change the constraint system at all. Eliminating trivially-solved constraints doesn't require us to check constraints again. Swift SVN r2659