gcc/testsuite/gnat.dg/limited_with2.adb

   1 -- { dg-do compile }
   2
   3 with Limited_With2_Pkg2;
   4
   5 package body Limited_With2 is
   6
   7    function Func (Val : Rec1) return Limited_With2_Pkg1.Rec2 is
   8    begin
   9       return Val.F;
  10    end;
  11
  12 end Limited_With2;