<div dir="ltr">On Tue, Jun 11, 2013 at 4:01 PM, Eli Friedman <span dir="ltr"><<a href="mailto:eli.friedman@gmail.com" target="_blank">eli.friedman@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="im"><span style="font-family:arial,sans-serif;font-size:13px">@@ -3940,6 +3940,9 @@</span><br style="font-family:arial,sans-serif;font-size:13px">
<span style="font-family:arial,sans-serif;font-size:13px">                               diag::err_call_incomplete_</span><span style="font-family:arial,sans-serif;font-size:13px">argument, Arg))</span><br style="font-family:arial,sans-serif;font-size:13px">

<span style="font-family:arial,sans-serif;font-size:13px">         return true;</span><br style="font-family:arial,sans-serif;font-size:13px"><br style="font-family:arial,sans-serif;font-size:13px"><span style="font-family:arial,sans-serif;font-size:13px">+      // Decay array and function types to pointers.</span><br style="font-family:arial,sans-serif;font-size:13px">

<span style="font-family:arial,sans-serif;font-size:13px">+      ProtoArgType = Context.</span><span style="font-family:arial,sans-serif;font-size:13px">getAdjustedParameterType(</span><span style="font-family:arial,sans-serif;font-size:13px">ProtoArgType);</span><br style="font-family:arial,sans-serif;font-size:13px">

<br style="font-family:arial,sans-serif;font-size:13px"></div><div><font face="arial, sans-serif">You have to decay the type before the RequireCompleteType call, else you'll reject a call to a function like "void f(A x[2]);", where A is incomplete.</font></div>
</div></blockquote><div><br></div><div style>Thanks, good catch.  I don't think I can write the test case in C, but I added one in C++. </div></div></div></div>