gcc/testsuite/gnat.dg/lto20_pkg.adb

package body Lto20_Pkg is

  type Obj is record
    I : Integer;
  end record;

  procedure Proc (A : Arr) is begin null; end;

end Lto20_Pkg;