gcc/testsuite/gnat.dg/renaming12.ads

   1 package Renaming12 is
   2
   3   type Index_Type is range 0 .. 40;
   4
   5   type Rec1 is record
   6     B : Boolean;
   7   end record;
   8
   9   type Arr is array (Index_Type range <>) of Rec1;
  10
  11   type Rec2 (Count : Index_Type := 0) is record
  12     A : Arr (1 .. Count);
  13   end record;
  14
  15   package Ops is
  16
  17     function "=" (L : Rec2; R : Rec2) return Boolean renames Renaming12."=";
  18
  19   end Ops;
  20
  21   procedure Dummy;
  22
  23 end Renaming12;