TypeScriptでGeneric Typeに対するNarrowingをしたかったけど現在のところ対応していなかった
最初にまとめ 現在のTypeScript（2024-09-19時点のバージョン5.6.2）では Generics と Control Flow Analysis は、いい感じには連携しないということを学んだ。 どういうこと？その１ Genericsを使って型安全にやりたいなぁと思って、こんなコードを書いてみてもコンパイルエラーになる。 type Mapping = { a: boolean, b:…
