------- Comment #1 from pinskia at gcc dot gnu dot org 2006-10-24 00:56 ------- This code compiles for me with 4.2.0 and 4.0.2. As I understand this, in the Y case the first template overload gets rejected as X::T does not exist. In the X case, the first template is an exact match so it matches that way.
Also Comeau C++ accepts the code. -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- GCC host triplet|powerpc-ibm-aix4.3.3.0 | GCC target triplet| |powerpc-ibm-aix4.3.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29577