DROP USER — remove a database role
DROP USER [ IF EXISTS ]
DROP USER is simply an alternate spelling of DROP ROLE.
DROP USER statement is a PostgreSQL extension. The SQL standard leaves the definition of users to the implementation.
If you see anything in the documentation that is not correct, does not match your experience with the particular feature or requires further clarification, please use this form to report a documentation issue.