1-- { dg-do compile }
2
3procedure Pack14 is
4
5   subtype False_T is Boolean range False .. False;
6
7   type Rec is record
8      F : False_T;
9   end record;
10   pragma Pack (Rec);
11
12   A : Rec := (F => False);
13
14begin
15   null;
16end;
17