swift234

Improve debug dump for the constraint solver slightly, to tell us
whether we actually found a unique solution. Add another test for
contextual overloading.


Swift SVN r2707