rt_gccstream/gcc/testsuite/gnat.dg/slice_enum.adb

--  { dg-do compile }

procedure Slice_Enum is
   Pos : array (Boolean) of Integer;
begin
   Pos (Boolean) := (others => 0);
end;