We can add static analysis to provide compile-time diagnostics later, once the analyzers project is merged. For now, this adds run-time validation.