gcc/testsuite/gnat.dg/specs/formal_type.ads

   1 -- { dg-do compile }
   2
   3 with Ada.Strings.Bounded;
   4 package formal_type is
   5    generic
   6       with package BI is
   7          new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
   8       type NB is new BI.Bounded_String;
   9    package G is end;
  10    package BI is new Ada.Strings.Bounded.Generic_Bounded_Length (30);
  11    type NB is new BI.Bounded_String;
  12    Thing : NB;
  13    package GI is new G (BI, NB);
  14 end;