On Mon, Dec 12, 2016 at 5:48 PM, Nathan Sidwell <nat...@acm.org> wrote: > On 12/12/2016 04:44 PM, Jason Merrill wrote: >> >> 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 > > Do you mean '... to NOT look ...'? If so ... > >> that also handles aliases, say TYPE_TEMPLATE_INFO_MAYBE_ALIAS? > > I had similar thought (down to the MAYBE name), but guessed that the > invasiveness would be great. I suppose SED to the rescue?
I suspect that most uses don't need to change. Jason
