On Thursday, March 22, 2018, PG Bug reporting form <noreply(at)postgresql(dot)org>wrote:
>> where, again, the innermost query is wrong (there's no x in a).>
This is a correlated subquery working as designed.
David J.