Commits
Joe Groff committed 96d38699d17
Sema: Reject generic-to-concrete casts that can't succeed. Reject generic-to-concrete downcasts that can't possibly succeed because the destination type does not meet the constraints on the archetype or existential. Swift SVN r5697