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

   1 -- { dg-do compile }
   2
   3 pragma Restrictions (No_Streams);
   4
   5 with Ada.Containers.Ordered_Maps;
   6
   7 package No_Streams is
   8
   9   type Arr is new String (1..8);
  10
  11   package My_Ordered_Map is new Ada.Containers.Ordered_Maps
  12                                   (Key_Type => Natural, Element_Type => Arr);
  13
  14 end No_Streams;