gcc/testsuite/gnat.dg/test_unknown_discrs.adb

   1 --  { dg-do compile }
   2
   3 procedure Test_Unknown_Discrs is
   4
   5    package Display is
   6
   7       type Component_Id (<>) is limited private;
   8
   9       Deferred_Const : constant Component_Id;
  10
  11    private
  12
  13       type Component_Id is (Clock);
  14
  15       type Rec1 is record
  16          C : Component_Id := Deferred_Const;
  17       end record;
  18
  19       Priv_Cid_Object : Component_Id := Component_Id'First;
  20
  21       type Rec2 is record
  22          C : Component_Id := Priv_Cid_Object;
  23       end record;
  24
  25       Deferred_Const : constant Component_Id := Priv_Cid_Object;
  26
  27    end Display;
  28
  29 begin
  30    null;
  31 end Test_Unknown_Discrs;