pub fn push_validation_error(msg: String)
Push a validation error that will make kernel compilation fail.