RE: [sv-ec] RE: [sv-bc] 5.15.3 Array reduction methods - result type

But it does not break the rules for expressions.

sum() is not defined as an expression which is obtained by the
substitution of all the array elements separated by the + operator.

It is defined as a function which has a return type. 
There is no problem to have a function return type which is different
from the type of its arguments.

> If you start breaking the rules for expressions, the opposite problems
> will occur - people familiar with Verilog expression rules would
expect
> it to behave one way and it behave another way.

Shalom