1--  { dg-do compile }
2
3package 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;
9end RT1;
10