------- Comment #3 from dgregor at gcc dot gnu dot org 2008-11-06 20:19 ------- This bug should be really easy to fix, now that GCC has canonical types. Just map each of the template type arguments down to its canonical type before doing the substitution.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25185
