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


1
2
3
4
5
6
7
8
9
10
11
12
13

-- { dg-do compile }

package Static_Initializer4 is

  type R is tagged record
    b : Boolean;
  end record;

  type NR is new R with null record;

  C : NR := (b => True);

end Static_Initializer4;