"any" applied to a generator expression with side-effects is smelly because of the generator expression with side-effects, not because of the short-circuit. "any" applied to a pure generator expression expresses the algorithmic optimization known as short circuiting.

Once you are at the point of considering execution time to be a side effect, the purity of any non-trivial expression vanishes.