[cfe-dev] [concepts] Should requires-expressions contain a decl?

Saar Raz via cfe-dev cfe-dev at lists.llvm.org
Tue Jul 10 13:29:49 PDT 2018


On Tue, Jul 10, 2018 at 4:40 PM Hubert Tong <
hubert.reinterpretcast at gmail.com> wrote:

> I believe for the similar case of "auto" variables, we produce the
> template parameter list on the stack.
>
With compound requirements, you have a complete abstract-declarator as part
of the deduced-against types, which can reference the template parameter in
all manner of ways. That's what led me to store the template parameter list
- do you see a specific problem with storing it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180710/5fd10684/attachment.html>


More information about the cfe-dev mailing list