1-- { dg-do compile }
2
3package Static_Initializer4 is
4
5  type R is tagged record
6    b : Boolean;
7  end record;
8
9  type NR is new R with null record;
10
11  C : NR := (b => True);
12
13end Static_Initializer4;
14