blob: b0764337e614d82cb8c22a11a4ce646ea0e74d10 (
plain)
1
2
3
4
5
6
|
Maybe there should be "related constraints", e.g. length + pointer.
If so, they probably better be assigned at directly adjacent statements
(without and possibility of control transfer inbetween):
obj.length = ...
obj.list = ...
|