Static if to compare two types are the exact same

[Jonathan via Digitalmars-d-learn]

>> static if (is(T == V))

Are static ifs always checked outside of runtime? Is it possible 
for a static if condition to be undeterminable outside of 
runtime, or would such a condition throw a compiler error?