For uint x immutable = 42 we currently need to unsafe-allow both state-variable-immutable and state-variable-assignment. This is error prone because state-variable-assignment will let through assignments to storage variables as well, which are the main thing to avoid. We should make the immutable override also allow assignments to immutable variables without the second override.
For
uint x immutable = 42we currently need tounsafe-allowbothstate-variable-immutableandstate-variable-assignment. This is error prone becausestate-variable-assignmentwill let through assignments to storage variables as well, which are the main thing to avoid. We should make the immutable override also allow assignments to immutable variables without the second override.