PR# 16228 Wrong usage of ARRAYED_LIST in {EV_FIGURE}.default_create

This is a problem with the version of Vision2 delivered in the experimental directory of EiffelStudio.

This is a snippet from {EV_FIGURE}.default_create.  I only kept the lines which are important.

		do
					-- ...
			create points.make (0)
			points.resize (point_count)
					-- ...
			from
				n := 1
				l_object_id := object_id
			until
				n > point_count
			loop
					-- ...
				points.put_i_th (p, n)
					-- ...
				n := n + 1
			end
		end

The problematic line is "points.put_i_th (p, n)".  At its first execution, `points' is guaranteed to be empty while the precondition of {ARRAY_LIST}.put_i_th states that the provided index (in this case n) should be a valid index.  It should probably be replaced by a call to {ARRAY_LIST}.extend.

Thank you!

Simon