The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/12/indexes-expressional.html
Description:
The paragraph that begins "If we were to declare this index UNIQUE,..."
refers to the index test1_lower_col1_idx, not to the test1_uniq_int index it
currently follows. It would appear the latter example was spliced into the
middle of discussing the former.
The paragraphs should be ordered:
CREATE INDEX test1_lower_col1_idx ....
If we were to declare this index UNIQUE, ...
Expression indexes also allow control....
CREATE UNIQUE INDEX test1_uniq_int ...