gcc/testsuite/gnat.dg/test_equal1.adb

   1 -- { dg-do compile }
   2
   3 with equal1;
   4 procedure test_equal1 is
   5   subtype Boolean_T is Boolean;
   6   function "=" (L, R : in equal1.Basic_Connection_Status_T)
   7     return Boolean_T renames equal1."=";
   8   Status : equal1.Basic_Connection_Status_T;
   9   Result : Boolean_T;
  10 begin
  11   Status := equal1.Temporary_Disconnected;
  12   Result := Status /= equal1.Connected;
  13 end;