http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52008
--- Comment #14 from Michal Malecki <ethouris at gmail dot com> 2012-11-06 23:32:36 UTC --- (In reply to comment #13) > if the DR makes it ill-formed and GCC rejects it is this FIXED? GCC "rejects" it by doing ICE. I don't think this is the right thing that GCC should do. My last proposal is: gcc should report error at the place where the wannabe specialization is defined (comment with "line 18") with something like: "18: This template specialization does not match the template parameters\n12: of this class template". I cannot check whether gcc currently fixed to do this, so I'm sorry if this is behind the current state.