On Thu, Aug 17, 2017 at 12:00 PM, Nathan Sidwell <nat...@acm.org> wrote: > This patch concludes with simplifying TYPE_TEMPLATE_INFO. It was too > tricky, given the time available, to make TYPE_TEMPLATE_INFO require a > templatable _TYPE node, so it remains returning NULL_TREE if you give it a > random _TYPE node. That'd be nice to clean up though. > > I can't recall the underlying reason why TEMPLATE_TEMPLATE_PARM was forked > to add BOUND_TEMPLATE_TEMPLATE_PARM. Naively it seems these are > distinguished by the absence or presence of TEMPLATE_INFO. But again, too > fiddly to examine right now.
I don't remember either, but they are different things: a TEMPLATE_TEMPLATE_PARM is a template, a BOUND_TEMPLATE_TEMPLATE_PARM is a type. So I'd be reluctant to try to use the same tree code for both. Jason
