swift234

Implement the simplification rule

  X < T and T < X => X == T

where T is a type variable and X is a nominal or bound generic
type. The prior example:

func f<T>(x : T, fn : (T) -> T) {}

var i : Int
var fnii : (Int) -> Int
:dump_constraints f(i, fnii)

now reduces fully to

---Simplified constraints---
Type Variables:
  $T0 as Int64
  $T1 as (x : $T0, fn : $T0 -> $T0)
  $T2 as ()

Constraints:

Constraint system is still viable




Swift SVN r2657