gcc/testsuite/gnat.dg/elab2.adb

--  { dg-do compile }
--  { dg-options "-gnatws" }

with elab1;

procedure elab2 is
  A : elab1.My_Rec;
begin
  null;
end;