gcc/testsuite/gnat.dg/prot2.adb

   1 -- { dg-do compile }
   2
   3 with Prot2_Pkg1;
   4 with Prot2_Pkg2;
   5
   6 package body Prot2 is
   7
   8    type A is array (1 .. Prot2_Pkg1.Num) of Integer;
   9
  10    type E is (One, Two);
  11
  12    type Rec (D : E := One) is record
  13       case D is
  14          when One => L : A;
  15          when Two => null;
  16       end case;
  17    end record;
  18
  19    package My_Pkg2 is new Prot2_Pkg2 (Rec);
  20
  21    procedure Dummy is begin null; end;
  22
  23 end Prot2;