template <class T=void> // 1
struct A {
  int a;
};

template <>
struct A<int> {
  char c; // 2
};

void Test() {
  A<>().a; // 3
  A<int>().c; // 4
}