Check JS doesn't narrow types properly

<!-- 🚨 STOP 🚨 STOP 🚨 STOP 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.7.x-dev.201xxxxx <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** **Code** ```ts import { useReducer } from 'react'; /** * @template {{ type: string; payload?: any; }} Action * @template {object} State * @template {{ past: State[]; present: State; future: State[]; }} UndoState * @template {{ type: 'UNDO'; } | { type: 'REDO'; }} UndoAction * @param {{ (state: State, action: Action): State; }} reducer * @param {State} initialState */ export function useUndoReducer(reducer, initialState) { /** * @param {UndoState} state * @param {UndoAction | Action} action */ const undoReducer = (state, action) => { switch (action.type) { case 'UNDO': { const [newPresent, ...newPast] = state.past; return { past: newPast, present: newPresent, future: [state.present, ...state.future], }; } case 'REDO': { const [newPresent, ...newFuture] = state.future; return { past: [state.present, ...state.past], present: newPresent, future: newFuture, }; } default: return { past: [state.present…