On Fri, Dec 2, 2011 at 9:51 AM, Dodji Seketeli <do...@redhat.com> wrote:
> After talking with you offline, we settled on using the existing > BOUND_TEMPLATE_TEMPLATE_PARM tree to represent this new construct. > The alias template and its unbound arguments are stored in the > TYPE_TEMPLATE_INFO of the tree and its TYPE_NAME has the > TYPE_DECL_ALIAS_P flag set. This representation sounds much more regular to me, considering the existing patterns of representing templates. The "alias" part in "template alias" just means that we can substitute right away when the alias is applied. Otherwise, it is a template (like any other) in all other aspects (except it can't be deduced.) -- Gaby
