I wasn't sure of how to craft a reproduction test either. I read the description

a subquery with both a correlated WHERE clause and a "HAVING 0" clause and where the parent query is an aggregate.

and I don't know my SQL well enough to write that