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