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