TypeScript satisfiesの使い方を手順で学ぶ 型の過不足と余計なプロパティを確実に検知する