-- { 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;