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