Are there other languages besides D with static if?

I think D\'s static if is an interesting language feature. That prompts my question: Are there are other examples of compiled languages in which the compiler has a strong notion of the code and there