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