1-- { dg-do compile }
2
3package Pack9 is
4
5  subtype Zero is Natural range 0 .. 0;
6
7  type Rec (D : Boolean) is record
8    case D is
9       when True => Z : Zero;
10       when False => null;
11    end case;
12  end record;
13  pragma Pack (Rec);
14
15end Pack9;
16