The fix is just a software update for that phone, it's not on the replacement list.
https://www.androidcentral.com/phones/google-pixel/pixel-bug...
I was tracking that because I'm a pixel owner, though the one time I've had to phone I've not had an issue.