gcc/testsuite/gnat.dg/discr51.adb

   1 --  { dg-do compile }
   2
   3 with Ada.Containers.Indefinite_Holders;
   4
   5 procedure Discr51 is
   6
   7    package Inner is
   8       type Str (<>) is private;
   9    private
  10       type Str is array (Positive range <>) of Character;
  11    end Inner;
  12
  13    package Inner2 is
  14       type Str2 (<>) is private;
  15    private
  16       type str2 is new inner.Str;
  17    end Inner2;
  18
  19    type Str3 is new Inner.str;
  20
  21    package Str_Holders is new Ada.Containers.Indefinite_Holders
  22       (Inner.Str, Inner."=");
  23
  24    package Str2_Holders is new Ada.Containers.Indefinite_Holders
  25       (Inner2.Str2, Inner2."=");
  26
  27    package Str3_Holders is new Ada.Containers.Indefinite_Holders
  28       (Str3, "=");
  29
  30 begin
  31    null;
  32 end Discr51;