Yup, it's compile-time, and gives you run-time guarantees.