[How to] Assign integer value to unpacked array slice

In reply to Fipser@VA:

Why don’t you declare it as a packed array, and then cast as an unpacked array. Or you can cast it to a packed local variable and use that in your constraint.