gcc/testsuite/gnat.dg/set_in_pproc.adb

   1 --  { dg-do compile }
   2
   3 with Ada.Containers.Ordered_Sets;
   4 procedure Set_In_Pproc is
   5
   6    protected type Ptype is
   7       procedure Pproc;
   8    end;
   9
  10    protected body Ptype is
  11       procedure Pproc is
  12          package Sets is
  13             new Ada.Containers.Ordered_Sets (Element_Type => Integer);
  14       begin
  15          null;
  16       end;
  17    end;
  18 begin
  19    null;
  20 end;