Are there guarantees that ANY_VALUE in aggregation and HAVING will use the same value?

I would *assume* this to be the case, since it seems like an easy optimization and to make things more predictable. Given:

SELECT ANY_VALUE(country) AS country
FROM countries
HAVING ANY_VALUE(country) = 'US'

Is there a database where

country
NZ
US

Could return

country
NZ

Because the two ANY_VALUE clauses are executed independently?