swift234

Implement ultra-simple "solving" of constraint systems by trying all
of the possible overloads. We're now able to resolve this:

func f(x : Int) -> Int {}
func f(y : Float) -> Float {}

func g(fn : (Int) -> Int) {}

:dump_constraints g(f)




Swift SVN r2696