Commits
Joe Groff committed 5a2128bc77c
SIL: Model project_existential using an address. Have project_existential return $*This instead of $Builtin.OpaquePointer, and have protocol_method do the same for methods of opaque protocols. This makes it easier for passes to reason about the semantics of the projected address, since it's restricted by the semantics of SIL addresses. Swift SVN r6872