gcc/testsuite/gnat.dg/freezing1.ads


1
2
3
4
5
6
7
8
9
10

with Freezing1_Pack; use Freezing1_Pack;

package Freezing1 is
   type T is abstract tagged record
      Collection : access I_Interface_Collection'Class :=
        new I_Interface_Collection'Class'(Factory.Create_Collection);
   end record;

   procedure Foo;
end Freezing1;