1--  { dg-do compile }
2
3with Generic_Inst13_Pkg;
4with Generic_Inst13_Pkg.Nested_G;
5
6procedure Generic_Inst13 is
7
8  type Item_T is range 1 .. 16;
9
10  package My_Inst is new Generic_Inst13_Pkg (Item_T);
11
12  package My_Nested is new My_Inst.Nested_G;
13
14  procedure Proc (Left, Right : My_Nested.T) is
15    R : constant My_Nested.List_T := My_Nested."or" (Left, Right);
16  begin
17    null;
18  end;
19
20begin
21  null;
22end;
23