On Mon, Dec 12, 2016 at 2:12 PM, Nathan Sidwell <nat...@acm.org> wrote: > Solved by breaking TYPE_TEMPLATE_INFO into an underlying helper that doesn't > deal with type aliases.
I like this idea, but I don't like the name. Since alias templates are generally transparent in the language, I wonder about changing TYPE_TEMPLATE_INFO to look through aliases and creating a new macro that also handles aliases, say TYPE_TEMPLATE_INFO_MAYBE_ALIAS? Jason