[sv-bc] 8.13.1 Array assignment patterns - question

8.13.1 ("Array assignment patterns") says,

"Each expression item shall be evaluated in the context of an assignment to the type of the corresponding element in the array. In other words, the following examples do not give size warnings, unlike the similar assignments above:

bit unpackedbits [1:0] = '{1,1}; // no size warning as bit can be set to 1
int unpackedints [1:0] = '{1'b1, 1'b1}; // no size warning as int can be
                                        // set to 1'b1"

What troubles me is, what are "the similar assignments above"?

For example, the last example in 8.13 is,

typedef byte U[3];
var U A = '{1, 2, 3};
var byte a, b, c;
U'{a, b, c} = A;
U'{c, a, b} = '{a+1, b+1, c+1};

Are these different from the examples in 8.13.1, and if so, why?

Thanks,
Shalom


Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033
I don't represent Intel