5.6.9.2 Simple Data Operators

Simple data operators are operators that first evaluate their operands as simple data values. Specific operators defined in later sections can be designated as simple data operators.

Static semantics. A simple data operator is valid only if it is statically valid to evaluate each of its operands as a simple data value. The declared types of the operands after this static validation are used when determining the declared type of the operator, as defined in each operator’s specific section.

Runtime semantics. A simple data operator’s operands are first evaluated as simple data values before proceeding with the runtime semantics of operator evaluation.