1-- { dg-do compile } 2package 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 20end Null_Aggr_Bug; 21