コンパイルタイムプログラミングで
template <int X>
struct INT { enum { type = X }; };

としたとき、INT<100>::typeは定数値(100)になるのだろうか？
というのはどうやって確かめればいいですか？