The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/12/functions-datetime.html
Description:
I can't find anywhere the documentation of the SQL DATE() function which
extracts the date part out of a timestamp.
Please note that according to my tests, one can't use the cast operator when
defining expression-based indexes, while the date(column) expression is
accepted. It makes the DATE() function way more useful than one may think.