gcc/testsuite/gnat.dg/string_comparison.adb

   1 -- { dg-do compile }
   2
   3 with Ada.Text_IO; use Ada.Text_IO;
   4
   5 procedure String_Comparison is
   6    package Bool_IO is new Enumeration_IO (Boolean);
   7    use Bool_IO;
   8 begin
   9    Put (Boolean'Image (True) = "True");
  10 end;