Commits

Joe Pamer committed 519e0ec82d9
Tweak the heuristics for mining inactive constraints for possible reasons why a constraint system failed to converge on a solution. (For the time-being, favor conversion and overload constraints over others.) Swift SVN r16994