TypeScript 4.8で入る型の絞り込みの改善とは