gcc/testsuite/gnat.dg/part_of1-private_generic.adb

   1 package body Part_Of1.Private_Generic
   2 with
   3    Refined_State => (State => Numbers)
   4 is
   5    Numbers : array (Range_Type) of Integer := (others => 0);
   6
   7    function Get (I : Range_Type) return Integer
   8    is
   9    begin
  10       return Numbers (I);
  11    end Get;
  12
  13 end Part_Of1.Private_Generic;