swift234

Sema: Type-check concrete-to-archetype and concrete-to-existential casts.

Concrete-to-archetype is just the inverse of archetype-to-concrete. For concrete-to-existential, enforce that we only cast from objc types to other objc types.

Swift SVN r9393