gcc/testsuite/gnat.dg/generic_inst3.adb

   1 --  { dg-do compile }
   2
   3 with Generic_Inst3_Kafka_Lib.Topic;
   4 with Generic_Inst3_Traits.Encodables;
   5 with Generic_Inst3_Markets;
   6
   7 procedure Generic_Inst3 is
   8    generic
   9       with package Values is new Generic_Inst3_Traits.Encodables (<>);
  10       with package Topic is new Generic_Inst3_Kafka_Lib.Topic
  11           (Values => Values, others => <>);
  12    package Dummy is
  13    end Dummy;
  14
  15    package Inst is new Dummy
  16       (Values => Generic_Inst3_Markets.Data_Encodables,
  17        Topic  => Generic_Inst3_Markets.Data_Topic);
  18 begin
  19    null;
  20 end Generic_Inst3;