Invariant check at compile time

Question

Is there some way of checking an invariant of a variable at compile time? For example I have a vector permutation which is initialized with values from 0