Do lists grow automatcally based on constraints on their elements?
When creating a list and constraining elements of it, will the list size be adapted to the index of the constrained element or does it need to be specified explicitly?
So will this automatically resize the list to 5 elements, or do I have to add keep(it.size() == 5)
?
struct point:
x, y: float
struct data:
coords: list of point with:
keep(it[4].x == 1.5)