TypeScript 5.5からは関数からType predicatesの型推論が有効になるよ！
zenn.dev