testsuite/gnat.dg/string_comparison.adb

-- { dg-do compile }

with Ada.Text_IO; use Ada.Text_IO;

procedure String_Comparison is
   package Bool_IO is new Enumeration_IO (Boolean);
   use Bool_IO;
begin
   Put (Boolean'Image (True) = "True");
end;