Commits
Doug Gregor committed d436b5d341c
Constraint solver: look through type variables after unwrapping optionals. When simplifying a checked-cast constraint, look through type variables after unwrapping optionals or looking through metatypes. Otherwise, we won't find obvious solutions. Fixes rdar://problem/18330319. Swift SVN r22086