On Wed, Mar 28, 2018 at 5:06 AM, Alexandre Oliva <aol...@redhat.com> wrote: > On Mar 23, 2018, Jason Merrill <ja...@redhat.com> wrote: > >> On Fri, Mar 23, 2018 at 3:38 PM, Alexandre Oliva <aol...@redhat.com> wrote: >>> + /* Concepts allows 'auto' in template arguments, even multiple >>> + 'auto's in a single argument. > >> I think that's only intended for class templates; > > Aah, that explains a lot! Dang, it was so close! > > It actually makes sense; was there any discussion about standardizing > this, with reasons to reject this construct, or is it just that we > aren't there yet? I wouldn't be surprised if it were to appear in some > future version of C++.
If what were to appear? I'm not sure what you mean. There is still effort to get more of the Concepts TS into the standard. We only want 'auto' in places where it could be deduced, and there's no way in [temp.deduct.type] to deduce from explicit template arguments to a non-type template. > Is this (in the patch below) the best spot to test for it? This seems like a plausible spot, but is there a reason not to check in cp_parser_template_id? Jason
