test_unknown_discrs.adb

来自「用于进行gcc测试」· ADB 代码 · 共 32 行

--  { dg-do compile }

procedure Test_Unknown_Discrs is
   
   package Display is

      type Component_Id (<>) is limited private;

      Deferred_Const : constant Component_Id;
   
   private
      
      type Component_Id is (Clock);

      type Rec1 is record
         C : Component_Id := Deferred_Const;
      end record;

      Priv_Cid_Object : Component_Id := Component_Id'First;

      type Rec2 is record
         C : Component_Id := Priv_Cid_Object;
      end record;

      Deferred_Const : constant Component_Id := Priv_Cid_Object;
   
   end Display;

begin
   null;
end Test_Unknown_Discrs;