testsuite/gnat.dg/overload2_q.ads

package overload2_q is
  type t is null record;
  function "=" (this, that: t) return boolean;
end;