/* in file1 */
template <typename T> class type_info
{
public:
	static T one() {
		return (T(0));
	}

	static T zero() {
		return (T(0));
	}
};

template <> class type_info<float>
{
public:
	static float one() {
		return 1.0f;
	}

	static float zero() {
		return 0.0f;
	}
};

// gives error when using like: 

template <typename S> class Foo
// ...
   type_info<S>::one()

// The class is instantiated as Foo<float>
// Error: "type_info: ambiguous symbol