gcc/testsuite/gnat.dg/renaming19_pkg.ads

with Ada.Text_IO;

package Renaming19_Pkg is

  type Logging is tagged record
    Output : Ada.Text_IO.File_Access;
  end record;

  procedure Log (Handler : Logging; Msg : String);
  procedure Log (Handler : Logging; Msg : String; Err : Natural);

  type Full_Logging is new Logging with null record;

  procedure Log (Handler : Full_Logging; Msg : String);

end Renaming19_Pkg;