struct Foo { int foo; };

template<class T>
struct Outer
{
  struct Nested
  {
    T *operator->() { return 0; }
  };
};

void bug()
{
  Outer<Foo>::Nested nested;
  nested->foo; // Not highlighted
}