gcc/testsuite/gnat.dg/rt1.adb

   1 --  { dg-do compile }
   2
   3 package body RT1 is
   4    procedure P (S : access Root_Stream_Type'Class) is
   5       Val : constant Ptr := Ptr'Input (S);
   6    begin
   7       null;
   8    end P;
   9 end RT1;