--  { dg-do compile }
package Self_Class is
   type P6 is private;
private
   type P6 is tagged record
      Self : access P6'Class;
   end record;
end Self_Class;
--  { dg-do compile }
package Self_Class is
   type P6 is private;
private
   type P6 is tagged record
      Self : access P6'Class;
   end record;
end Self_Class;