This patch adds code to ensure the timely finalization of a local element copy
when iterating over a container.
-- Source --
-- types.ads
with Ada.Containers.Doubly_Linked_Lists;
package Types is
package Lists is new Ada.Containers.Doubly_Linked_Lists (Integer);
This patch supresses the finalization of an intermediate copy produced when a
cursor iterates over a collection. The intermediate copy is still finalized
when the associated loop goes out of scope.
-- Source --
-- types.ads
with Ada.Containers.Doubly_Linked_Lists;
pack
