http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54588
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #5) > But in this specific case, how can the type of VeryComplicatedType change > anything about the convertibility of A<...> to 'int'? Sorry if I lack > imagination... 'A' could have partial/full specializations, it could have a conversion operator to a type that depends on the parameter, etc.