<div>LGTM</div><div><br></div>Please commit the getTypeInfoImpl refactoring separately (and the "..." there should actually have a message, "should not see dependent types here" or something).<div><br></div>
<div>Also, please ensure we have some lit test coverage for non-dependent pack expansion types; something like:</div><div><br></div><div>template<typename T> using X = int;</div><div>template<typename ...T> void f(X<T> ...xs);</div>
<div>void g() { f<void,void,void>(1, 2, 3); }</div><div><br></div><div>... should do the trick.<br><br><div class="gmail_quote">On Fri, Jul 12, 2013 at 4:47 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@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="ltr">Richard - just checking if you have any thoughts about this before commit.<br><br>I'd really like to have a test case for it, but the follow-on patch will fail provide test coverage for this at worst.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Fri, Jun 21, 2013 at 1:45 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>></span> wrote:<br>

</div><div><div class="h5"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Richard,<br>
<br>
>From our conversation/your help this morning, here's a patch that at<br>
least solves my original problem (Type::getAs<TagDecl> on a RecordDecl<br>
of a non-dependent alias template).<br>
<br>
Does this look about right? This doesn't address the further<br>
simplification of getTypeInfoImpl that we were discussing, but I<br>
expect that can be handled before/after (happy to do it, though, if<br>
you would like me to have a go at it). Are there some test cases I<br>
should add? (I don't know the code well enough to know if this<br>
manifests in any real way, I assume it does though)<br>
<br>
Thanks,<br>
- David<br>
</blockquote></div></div></div><br></div>
</blockquote></div><br></div>