Commits

Roman Levenstein committed 783001b977b
[sil-devirtualizer] Make use of the fact that the exact type of the instance is known on a success branch of checked_cast_br [exact] Devirtualizer can now devirtualize method invocations if the instance is a result of checked_cast_br [exact]. rdar://22689389 Swift SVN r31932