gcc/testsuite/gnat.dg/specs/private2.ads

-- { dg-do compile }

with Private2_Pkg; use Private2_Pkg;

package Private2 is

   type R is new Rec2;

end Private2;