gcc/testsuite/gnat.dg/opt91_pkg.ads

   1 package Opt91_Pkg is
   2
   3    type Base_Relation is abstract tagged null record;
   4
   5    function Custom_Image (Self : Base_Relation) return String is abstract;
   6
   7    generic
   8       type Ty is private;
   9       with function Custom_Image (Self : Ty) return String is <>;
  10    package Pure_Relation is
  11
  12       type Rel is new Base_Relation with record
  13          Rel : Ty;
  14       end record;
  15
  16       overriding function Custom_Image (Self : Rel) return String;
  17    end Pure_Relation;
  18
  19 end Opt91_Pkg;