なくなったと家中探して洗濯物のポケットから見つかった。
水が入ってダメだとあきらめたけど、接続を試してみて音楽を再生したら普通に大丈夫だった。
AirPodsは防水仕様だっけ？