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

   1 -- { dg-do compile }
   2 -- { dg-options "-gnat12 -gnatct" }
   3
   4 limited with Limited_With4;
   5
   6 package Limited_With4_Pkg is
   7
   8    type Object is tagged null record;
   9    type Object_Ref is access all Object;
  10    type Class_Ref is access all Object'Class;
  11
  12    function Func return Limited_With4.Class_Ref;
  13    procedure Proc (Arg : Limited_With4.Class_Ref);
  14
  15 end Limited_With4_Pkg;