http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16232
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-20 01:34:02 UTC --- t.cc: In instantiation of ‘void B<V>::Bar(V*) [with V = A<bool>]’: t.cc:12:13: required from here t.cc:6:9: error: no matching function for call to ‘A<bool>::Foo()’ t.cc:6:9: note: candidate is: t.cc:2:31: note: template<class U> void A::Foo() [with U = U; T = bool] t.cc:2:31: note: template argument deduction/substitution failed: t.cc:6:9: note: couldn't deduce template parameter ‘U’ So fixed.