Compile-time Validation