Joe Groff 53deeebe39 Sema: Relax existential-to-concrete type checking. ...

There's no reason to constrain casting to or from a generic or existential, since their types may be dynamically equal even if we don't have static knowledge that they are. First step here is to remove the subtype constraint we used to introduce for existential-to-concrete casts.

Swift SVN r23148

2014-11-07 01:17:48 +00:00

150 KiB

Raw Blame History

View Raw