<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jun 16, 2015 at 2:04 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"><span class=""><br>
> On 2015-Jun-16, at 09:32, Reid Kleckner <<a href="mailto:rnk@google.com">rnk@google.com</a>> wrote:<br>
><br>
> BTW, Duncan recently rewrote this so I'll add him.<br>
><br>
<br>
</span>LGTM once you've addressed Reid's comments, although I have some nitpicks<br>
below.<br>
<br>
Isn't there some logic like this in `User` too?  Pete was changing it<br>
around recently</blockquote><div><br></div><div>Yes, there is. Will add an assert there too.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> -<br>
> +// Assert objects tacked on the end of FunctionType won't be misaligned<br>
> +static_assert(AlignOf<FunctionType>::Alignment >= AlignOf<Type *>::Alignment,<br>
> +              "");<br>
<br>
Please put the comment inside the assertion, so we get a decent compiler error.<br>
<br>
    static_assert(..., "Expected FunctionType not to change alignment");</blockquote><div><br></div><div>Huh. I've always found the string rather superfluous, given the compiler pointing to the error line of code, anyways. But, if you think it's an improvement, I can definitely go ahead and do that (and the ones in the larger patch for clang, too, of course).</div></div></div></div>