gistfile1.txt

template<typename> struct T {
};

template<> struct T<int> {
  static const int value = 1;
};

template<> struct T<float> {
  static const int value = 2;
};

template<template<typename> class T> int f() {
  return T<int>::value;
}

template<> int f<T>() {
  return T<float>::value;
}

int main(void) {
  return f<T>();
}