CREATE OPERATOR query

Hi,

While trying to create regression tests for CREATE OPERATOR, I am able to
create an operator despite not have USAGE / ALL access to the given
argument type. Shouldn't the following SQL throw an error?

BEGIN TRANSACTION;
CREATE ROLE rol_op3;
CREATE TYPE type_op3 AS ENUM ('new', 'open', 'closed');
CREATE FUNCTION fn_op3(type_op3, type_op3)
RETURNS type_op3 AS $$
SELECT NULL::type_op3;
$$ LANGUAGE sql IMMUTABLE;
REVOKE ALL ON TYPE type_op3 FROM rol_op3;
SET ROLE rol_op3;
CREATE OPERATOR #*# (
leftarg = type_op3,
rightarg = type_op3,
procedure = fn_op3
);
RESET ROLE;
ROLLBACK;

This what the doc says:

> To be able to create an operator, you must have USAGE privilege on the
argument types and the return type, as well as EXECUTE privilege on the
underlying function. If a commutator or negator operator is specified, you
must own these operators.

Any pointers would be helpful.

Thanks
--
Robins Tharakan