1-- { dg-do compile }
2
3procedure Discr5 is
4
5   type Enum is (Ten, Twenty);
6   for Enum use (10, 20);
7   type Arr is array (Enum range <>) of Integer;
8   type Rec (Discr: Enum := Ten) is record
9      case Discr is
10         when others =>
11            A: Arr (Ten .. Discr);
12      end case;
13   end record;
14
15begin
16   null;
17end;
18