<div dir="ltr">On Tue, Aug 13, 2013 at 5:40 PM, Arthur O'Dwyer <span dir="ltr"><<a href="mailto:arthur.j.odwyer@gmail.com" target="_blank">arthur.j.odwyer@gmail.com</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Eli, you say this affects SFINAE, but it doesn't look like you added<br>

any new tests that *verify* the intended effect. All your changes to<br>
test/ were just working around the changed diagnostic output.<br>
<br>
There should be some way to trigger this new behavior, right? How?<br><br></blockquote><div><br></div><div>The SFINAE-specific aspect isn't really that interesting if you understand clang's architecture... but here's an example.  It compiles with trunk, and fails to compile without r<span style="font-family:arial,sans-serif;font-size:13px">188324.</span></div>
<div><br></div><div>template<typename T> float f(int(*)[sizeof(T)]);</div><div>template<typename T> double f(...);<br></div><div>static_assert(sizeof(f<void>(0)) == sizeof(double), "Wrong overload");</div>
</div><br></div><div class="gmail_extra">-Eli</div></div>