This PR makes the assign function stricter in that in the non-recursive case the ShapeLikes of both sides of the assignments should match, not just bit widths. An exception is added for single field structures, so that most of the non-strict uses of assign in our code still work. For the two cases where changes were needed, the problem will naturally disappear after an Amaranth upgrade, as memory data entries don't need to be only bit vectors anymore.
This is a prerequisite for UnionLayout support (#646).
This PR makes the
assignfunction stricter in that in the non-recursive case theShapeLikes of both sides of the assignments should match, not just bit widths. An exception is added for single field structures, so that most of the non-strict uses ofassignin our code still work. For the two cases where changes were needed, the problem will naturally disappear after an Amaranth upgrade, as memory data entries don't need to be only bit vectors anymore.This is a prerequisite for
UnionLayoutsupport (#646).