> | But, I don't think we have a single TEMPLATE_PARM_DECL node. Template > | parameters are either TYPE_DECLs or PARM_DECLs. I think auto > | declarations, get VAR_DECLs, but I haven't looked closely at that > | design. I'd have to look to see if there are any free tree slots all > | of those decl nodes to minimize. > > The individual constraint for a template parameter should probably go > with the TEMPLATE_PARM_INDEX which is the uniform representation of > template parameters. But, the real cumulative constraints go with the > TEMPLATE_DECLs. With Jason's patch that creates TEMPLATE_DECLs for > partial instantiations, I believe we have all the bases covered.
I have to look through the template parameter creation code, but that sounds about right. Andrew