[sv-bc] unpack operation with assignment pattern

Hi,

 

Is it possible to write an assignment which has a streaming unpack
operation on the LHS and an assignment pattern on the RHS?

 

Consider:

 

{>>{ s }} = '{default : '0};

 

The problem I see here is that the assignment pattern on the RHS
requires that the LHS has a self-determined data type. However, the LRM
doesn't say explicitly whether the unpack operation has such a type,
and, if yes, what it is and whether its size is self-determined.

 

I tend to think that this assignment should be an error, but I was not
sure how to imply that from the LRM. Should that point be clarified in
LRM?

 

Thanks,

            Yulik.