swift234

Extend the constraint-based type checker to support assignment
statements. The approach is fairly simple: generate constraints for
both the destination and source expressions, then turn the destination
type into a type containing only rvalues and convert the source
expression to that type.


Swift SVN r2925