gcc/testsuite/gnat.dg/specs/null_aggr_bug.ads

   1 --  { dg-do compile }
   2 package Null_Aggr_Bug is
   3
   4    type Rec1 is null record;
   5
   6    type Rec2 is tagged null record;
   7
   8    type Rec3 is new Rec2 with null record;
   9
  10    X1 : Rec1 := (null record);
  11    Y1 : Rec1 := (others => <>);
  12
  13    X2 : Rec2 := (null record);
  14    Y2 : Rec2 := (others => <>);
  15
  16    X3 : Rec3 := (null record);
  17    Y3 : Rec3 := (others => <>);
  18    Z3 : Rec3 := (Rec2 with others => <>);
  19
  20 end Null_Aggr_Bug;