Official Description
6.7.2.2 A term of the form i mod j is an error if j is zero or negative.
Simplified Description
In other words, for the modulus operation, it is an error if the right operand is zero or negative.
Error Handling
This error is always reported.