You are working on the amaranth-lang/amaranth repository. The source code is checked out at /testbed at…
You are working on the amaranth-lang/amaranth repository. The source code is checked out at /testbed at…: a task in SWE-Lego-RL-2699 (Harbor dataset). When the slice is assigned, the sliced value is first read using next mode, including the test value (array index), which is not an LHS, and thus…
The task
When the slice is assigned, the sliced value is first read using `next` mode, including the test value (array index), which is not an LHS, and thus does not have a `next_*` variable:
Part of Lego-X/Lego-RL-2699.