It seems GCC 3.3.3 doesn't like to do SFINAE based on the validity of T::value: int f(...); template <class T> int f(T, int(*)[T::value] = 0); int x = f(1); // error: `int' is not an aggregate type The same applies when eliminating partial specializations via SFINAE. Has anyone got an alternative approach? -- Dave Abrahams Boost Consulting www.boost-consulting.com