gcc/testsuite/gnat.dg/inline17_pkg2.ads

   1 with Inline17_Pkg3; use Inline17_Pkg3;
   2
   3 package Inline17_Pkg2 is
   4
   5    subtype SQL_Field is Inline17_Pkg3.SQL_Field;
   6
   7    function "+" (Field : SQL_Field'Class) return Integer renames
   8        Inline17_Pkg3."+";
   9
  10 end Inline17_Pkg2;