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 ...