template<typename T>
class A
{
    template<typename U>
    class B
    {
    };
};

// OK
template<>
template<typename U>
class A<int>::B
{
    int b;
};

// KO
template<typename T>
template<>
class A<T>::B<int>
{
    int b;
};