swift234

Implement subtyping and conversion for existential types. The only
difference is that a concrete type's conformance to an existential
type is considered a conversion (but not a subtyping). Relationships
between two existential types are (non-trivial) subtyping relationships.


Swift SVN r2718