gcc/testsuite/gnat.dg/aggr11_pkg.ads

   1 package Aggr11_Pkg is
   2
   3    type Error_Type is (No_Error, Error);
   4
   5    type Rec (Kind : Error_Type := No_Error) is record
   6      case Kind is
   7        when Error => null;
   8        when others => B : Boolean;
   9      end case;
  10    end record;
  11
  12    type Arr is array (1..6) of Rec;
  13
  14 end Aggr11_Pkg;