Commits

John McCall committed 5fe5fa41a76
Handle indirect conformance when devirtualizing existentials. While I'm in this code, generalize it to propagate the original type information in more cases, including when the original type is still dependent, and teach it to handle existential metatypes. rdar://24114020