そこまではわからないですフロー解析と型チェックが合体してるイメージだったので