// Build don't link: template <class T> struct S : public S<T*> {}; template <> struct S<int**> {}; void g() { int S<int*>::*p; int S<int>::*q = p; }