-- { dg-do compile }

pragma Restrictions(No_Elaboration_Code);

package Elab3 is

   type T_List is array (Positive range <>) of Integer;
   type T_List_Access is access constant T_List;

   type R is record
     A : T_List_Access;
   end record;

   C : constant R := (A => null);

end Elab3;