gcc/testsuite/gnat.dg/ref_type.adb

--  { dg-do compile }

package body ref_type is
  procedure Print (X : T) is                                   
  begin                                                        
     null;
  end;
end ref_type;