Possibly Incorrect Data Return - Mailing list pgsql-docs

From PG Doc comments form
Subject Possibly Incorrect Data Return
Date
Msg-id 166794307526.652.9073408178177444190@wrigleys.postgresql.org
Whole thread Raw
Responses Re: Possibly Incorrect Data Return  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-docs
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/15/tutorial-agg.html
Description:

Hello: I am working through the tutorial and the Doc page says the row count
is 5 but my results show 0 records. Of course, I may be doing something
wrong, too:

jwjwj=# SELECT city, max(temp_lo), count(*) FILTER (WHERE temp_lo < 30)
    FROM weather
    GROUP BY city
    HAVING max(temp_lo) < 40;
  city   | max | count 
---------+-----+-------
 Hayward |  37 |     0
(1 row)

pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: Example code bug: destination->data
Next
From: Tom Lane
Date:
Subject: Re: Example code bug: destination->data