template <class T>
struct A {
  template <class K> void Foo() {
    typename K::test(T())->bar(10 - K(), A())++;
  }
};

void Test() {
  A<int> a;
}