gistfile1.cpp

template <class PtrType, PtrType>
// e.g. this could be "template<class PtrType, PtrType second>"
//      the second arg has the type of the first argument, but isn't a type itself
struct eq {};

struct Foo
{
    int val() { return -31; }
};

typedef eq<int (Foo::*)(), &Foo::val> test1;
typedef eq<int, 3> test2;

int main() {}