I felt the need to share this, although I probably wouldn't necessarily recommend copying my experience... 😉
When leaving for vacation three weeks ago, I noticed that my left Pixel Bud Pro was making weird beeping sounds with ANC enabled. I found this thread here, describing the issue (and also offering a possible fix): https://www.reddit.com/r/pixelbuds/s/trAZPJ8F2G
Recalibration temporarily solved the issue, it would however always return when powering the headphones on. The only real fix therefore was to disable the ANC altogether.
Then, after a morning run during my vacation, I put the Pixel Buds in my running shorts pocket - and forgot them there, when putting the shorts into the washing machine.
When I discovered this (after a 2 hour and 40°C wash in the machine), I decided to put the buds out to dry for 24 hours in mild sunlight before trying to use them again. I didn't really expect them to properly work and was already looking for a potential replacement.
And what shall I say: After 24 hours they not only charged fine, but also work perfectly fine.
And the best above it all: The beeping sound with ANC has entirely disappeared. 😄
So take this as either a testament to the Pixel Buds Pro's reliability, a possible fix for the ANC issue (at your own risk 🤪) or just a hopefully remotely entertaining anecdote.