This should allow bit and range indexing of packed structs and other similar signals.
Btw, when writing the test I noticed there seems to be an issue when lowering from assert with a struct member access to a $check cell: somehow the arguments get lost. I will open an issue on this.
This should allow bit and range indexing of packed structs and other similar signals.
Btw, when writing the test I noticed there seems to be an issue when lowering from
assert
with a struct member access to a$check
cell: somehow the arguments get lost. I will open an issue on this.