------- Comment #4 from redi at gcc dot gnu dot org 2010-03-15 12:22 ------- 14.7.3 [temp.expl.spec] p6 says:
If a template, a member template or the member of a class template is explicitly specialized then that specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43368
