<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 3, 2014 at 10:44 PM, Duncan P. N. Exon Smith <span dir="ltr"><<a href="mailto:dexonsmith@apple.com" target="_blank">dexonsmith@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":boh" class="a3s" style="overflow:hidden">I'm less aware of the tradeoffs re: the opaque pointer type, but your<br>
brain dump is compelling.  I'd be interested in whether anyone thinks<br>
the loss of type safety there is important.</div></blockquote></div><br>As probably the primary person to work on SROA and related passes in the last few years that deal with pointer types, I can say that there is in fact no type safety at all. There is just the illusion of type safety. We would lose absolutely nothing from this.</div></div>