Understanding Array Reduction methods

SystemVerilog
,
11

It’s correct. The type of the resulting self-determined expression can be used to determine the type of another expression it’s a part of.