gcc/testsuite/gnat.dg/discr56_pkg1.ads

   1 package Discr56_Pkg1 is
   2
   3    type Buffer (Size : Positive) is limited private;
   4
   5 private
   6
   7    type Arr is array (Natural range <>) of Integer;
   8
   9    protected type Buffer (Size : Positive) is
  10    private
  11      Store : Arr (0..Size);
  12    end Buffer;
  13
  14 end Discr56_Pkg1;