struct a { template <int i> struct b { typedef int t; }; template <> struct b <1> { typedef double t; }; }; int main() { a::b<0>::t x; a::b<1>::t y; return 0; }
Standard input is empty
prog.cpp:8:12: error: explicit specialization in non-namespace scope 'struct a' template <> struct b <1> ^
Standard output is empty