gcc/testsuite/gnat.dg/rt1.ads

   1 with Ada.Streams; use Ada.Streams;
   2 package RT1 is
   3    pragma Remote_Types;
   4
   5    type Ptr is private;
   6    procedure Read (X : access Root_Stream_Type'Class; V : out Ptr) is null;
   7    procedure Write (X : access Root_Stream_Type'Class; V : Ptr) is null;
   8    for Ptr'Read use Read;
   9    for Ptr'Write use Write;
  10
  11    procedure P (S : access Root_Stream_Type'Class);
  12 private
  13    type Ptr is not null access all Integer;
  14 end RT1;