swift234

Encode the requirement that a particular type variable be a type that
can be created from an integer literal as a new kind of "literal"
constraint, rather than as a property of the type variable
itself. This eliminates the problems associated with merging
equivalence classes and propagating the literalness of the type to the
representative (which is a problem when solving child constraint
systems). Additionally, it gives us the ability to say that a type
variable needs to support several different literal kinds, if we ever
care.


Swift SVN r2638