-
Andrei Paskevich authored
This prevents surprises when you cannot modify an array inside a record just because this record has an invariant.
a5f7903f
This prevents surprises when you cannot modify an array inside a record just because this record has an invariant.