Why must HashMap keys be immutable? What goes wrong if they are mutable?

Answer preview

If you mutate fields that affect hashCode(), the entry becomes unreachable. The key's new hash code points to a different bucket, but the entry is still stored in the old bucket.…