<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, Jul 10, 2018 at 4:40 PM Hubert Tong <<a href="mailto:hubert.reinterpretcast@gmail.com">hubert.reinterpretcast@gmail.com</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>I believe for the similar case of "auto" variables, we produce the template parameter list on the stack.<br></div></div></div></div></blockquote><div>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?</div></div></div>