We were complaining about IsType<T> not being constant, but we shouldn't 
think about it having a constant value or not, because it is 
type-dependent; a variable template can have a specialization with a 
different type.

Tested x86_64-pc-linux-gnu, applying to trunk.