template <typename T>
struct S {};

template <typename T>
struct S<T*> { T* t; };

struct Foo { int foo; };

int main()
{
	S<Foo*> s;
	s.t-> //no code completion
	return 0;
}