<div dir="ltr">Agreed, I'll post a patch with fixed tests and the diagnostic removed soon.<div><br></div><div>Richard - I heard from Andrew Sutton that constrained non-template functions had been cut out of the working draft when concepts was voted in because of name mangling issues - are they still left out? If so, was the trailing requires-clause cut out as well?</div><div>Anyway I've noticed another problem/defect with constrained non-template functions as described in P0734R0, discussed here: <a href="https://groups.google.com/a/isocpp.org/forum/#!topic/std-discussion/CJAmcnFI86o">https://groups.google.com/a/isocpp.org/forum/#!topic/std-discussion/CJAmcnFI86o</a> (Andrew also agreed that this probably should be fixed in the way I suggested)</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Nov 20, 2017 at 7:15 PM Hubert Tong <<a href="mailto:hubert.reinterpretcast@gmail.com">hubert.reinterpretcast@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">On Sun, Nov 19, 2017 at 7:39 PM, Saar Raz <span dir="ltr"><<a href="mailto:saar@raz.email" target="_blank">saar@raz.email</a>></span> wrote:<br></div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Attached is a patch file that implements point 1 with some comments as to what should be done next.<br></div></blockquote></div></div></div><div dir="ltr"><div class="gmail_extra">Saar, I believe cfe-commits is the mailing list for patch reviews. I also find Phabricator to be helpful (but it is not mandatory).<br></div><div class="gmail_extra"><br>Some comments:<br>The patch would obviously break tests, so test updates are needed. I would prefer to see if some tests are salvageable by modifying them to use the new syntax (and then leaving them disabled for now).<br>The error message at line 132 of the patch still refers to "concept" as a specifier.<br>This particular error message is also more likely to be orphaned than not depending on how the parsing is implemented.<br><br>template <typename T><br>inline concept C = true;<br>//     ^<br>// error: expected unqualified-id<br><br>template <typename T><br>concept constexpr C = true;<br>//      ^<br>// error: expected unqualified-id<br><br></div></div>
</blockquote></div></div>