------- Additional Comments From dave at boost-consulting dot com 2005-03-23 04:55 ------- "should GCC try and remember which arguments were really specified in the template-id (hard to do), or a simple check of equalness between the argument and the default parameter would suffice?"
GCC should not try to remember the arguments. That path is a slippery slope, and leads to things similar to "deep typedef substitution," which makes error messages much harder to read than necessary. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14912
