специализация шаблона участника

template<typename T>
class C
{
void f() { }
};

/*template<typename T>
void C<T*>::f() { }*/

template<>
void C<int*>::f() { }

Если мы удалим комментарий, код не скомпилируется. Я знаю это (и я также знаю, что мы должны иметь partial specialization за C<T*>), но я не могу найти слова в стандарте, который объясняет такое поведение. Я перечитала 14 par стандартных несколько раз. Можете ли вы дать мне цитату или стандарт, который объясняет это?

РЕДАКТИРОВАТЬ.

template<typename T>
class C
{
template<typename U>
struct S { };
};
// #1
/*template<typename T>
class C<T*>
{
template<typename U>
struct S { };
};*/
// #2
/*template<typename T>
template<typename U>
struct C<T*>::S<U*> { };*/

template<>
template<typename U>
struct C<int*>::S<U*> { };

Если мы удалим только комментарий, то # 2 — код не скомпилируется.