| 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. -- Gaby
