I was about to say the performance of

map.values

can be bad, but

HashMap

caches the result (and it even updates with the map), so it should be fine.

@karelpeeters but what if the map contains both key and value and at the same time the target value is stored by some another key?

What is wrong with

map[key] == value

then?

thanks 🙂