[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...
More information about the cfe-dev