-- { dg-options "-gnat95 -gnatws" }
package body overload2_p is
function "=" (this, that: t) return boolean is begin return True; end;
this, that : t;
end;
-- { dg-options "-gnat95 -gnatws" }
package body overload2_p is
function "=" (this, that: t) return boolean is begin return True; end;
this, that : t;
end;