any is both idiomatic and easier to read. There's no performance difference because both will stop as soon as a matching value is found. Change-Id: Ia527d96844015085cc289869a3c4d2722db1043c