template<class T> class Pointer
{
public:
    Pointer(T *t) : px(t) {}
    T * operator->() const { return px; }

private:
    T * px;
};

struct Foo
{
    int foo;
};

int main()
{
    Pointer<Foo> ptr(new Foo);
    int bar = ptr->foo; // foo not highlighted, F2 works
    return 0;
}