<div dir="ltr">Exactly :-)</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 28, 2016 at 5:07 PM, Yaron Keren <span dir="ltr"><<a href="mailto:yaron.keren@gmail.com" target="_blank">yaron.keren@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="rtl"><div class="gmail_extra" dir="ltr">The instantiated does get a new collection of ParmVarDecls while getting the pattern Type which points to the pattern ParmVarDecls. So the ParmVarDecls pointed in the instantiated are not the same as those pointed by its Type.</div><div class="gmail_extra" dir="ltr"><br></div><div class="gmail_extra" dir="ltr">Traversing by Type or by the Decl finds a different set of ParmVarDecls which seems an inconsistency or at least a surprise.</div><span class=""><div class="gmail_extra" dir="ltr"><br></div><div class="gmail_extra" dir="ltr"><div class="gmail_quote"><div>2016-01-28 22:39 GMT+02:00 Reid Kleckner <span dir="ltr"><<a href="mailto:rnk@google.com" target="_blank">rnk@google.com</a>></span>:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="overflow:hidden">The fact that an instantiated type might point to decls from the template pattern seems like expected behavior. The parts of the template that are the same are supposed to be shared.<br></div></blockquote></div><br><br></div></span></div>
</blockquote></div><br></div>