We should LKG so we can leverage the new control flow analyses introduced by https://github.com/microsoft/TypeScript/pull/44730.
We should LKG so we can leverage the new control flow analyses introduced by #44730.