gcc/testsuite/gnat.dg/limited_with5_pkg.adb

   1 with Limited_With5;
   2
   3 package body Limited_With5_Pkg is
   4   function Get_Expression_Support (Obj : T) return Limited_With5.Sup_T is
   5   begin
   6     return Limited_With5.Sup_T (Obj + 1);
   7   end Get_Expression_Support;
   8 end Limited_With5_Pkg;