gcc/testsuite/gnat.dg/specs/size_attribute1_pkg1.adb

package body Size_Attribute1_Pkg1 is

  type Rec is
    record
      F : T;
    end record;

  procedure Dummy is
  begin
    null;
  end;

end Size_Attribute1_Pkg1;