1-- { dg-do compile }
2-- { dg-options "-gnatws" }
3
4pragma Restrictions (No_Elaboration_Code);
5
6package Array2 is
7
8  type Arr is array (Positive range <>) of Boolean;
9  A : Arr (1 .. 2 ** 2);
10  for A'Size use 16#1000_0000_0#;
11
12end Array2;
13