gcc/testsuite/gnat.dg/limited_with5_pkg.adb

with Limited_With5;

package body Limited_With5_Pkg is
  function Get_Expression_Support (Obj : T) return Limited_With5.Sup_T is
  begin
    return Limited_With5.Sup_T (Obj + 1);
  end Get_Expression_Support;
end Limited_With5_Pkg;