1-- PR middle-end/56474
2-- Reported by Pavel Zhukov <pavel@zhukoff.net>
3
4-- { dg-do compile }
5
6with Ada.Streams;
7
8package Array3 is
9
10   use type Ada.Streams.Stream_Element_Offset;
11
12   type Vector (Size : Ada.Streams.Stream_Element_Offset) is record
13      Value : Ada.Streams.Stream_Element_Array (0 .. Size);
14   end record;
15
16   Empty_Vector : Vector (-1);
17
18end Array3;
19