Check JS doesn't narrow types properly

TypeScript Version: 3.7.x-dev.201xxxxx

Search Terms:

Code

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, ...state.past],
          // @ts-ignore
          present: reducer(state.present, action),
          future: [],
        };
    }
  };

  return useReducer(undoReducer, {
    past: [],
    present: initialState,
    future: [],
  });
}

Expected behavior:

not having to use a @ts-ignore

Actual behavior:

had to use @ts-ignore

Playground Link:

https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=51&pc=1&useJavaScript=true#code/JYWwDg9gTgLgBAbzgVwM4FMBK6AmyDG6UcAvnAGZQQhwDkU6AhvjLQNwBQHA9AFS8c4vOAAEY6cABtG4xEhgBPMOgBccVDCjAAdgHM2cMIwWSIjHAH41jbQoMkyAQRbAI2wcLESw02QggARgBW6CxkAMowMugeouJS0XKGjBpqkdEA2gC6BmAMGNowaVHiBuTIMMgMxZk5pGQAqto4EOnisV4JfvJKqnQNAHIAIgDy7KRwAD6IcIrKarSYAKKj4w5wTS3OMK7uQqJGUIw0CEgAFBrRNeIANHDMO25q27sAlNfo9mQMeIRQHYdjog2ugyDpgDtGJIQR5uBx0AAPSCwCjIbQuNwoDCbCDYX5EM4-AhEO7gyHQkroV6IQRwPgCOCMzyAk44kFkS7tRn7EQsxA4l6Y6aC7RkB67WlCOGM-BuDQoZq43DE4gAXjgF0pd3FbmpqoAfDTueoAO4Q-AACw1Ou0ADo5lSjca4PgUuh+sMxmoEJLnbLtPKMtp0CaAAr5dCFO62mPBsMpGBZODqznoW1GDScX3GhiVKDaJ3O7kZopwOOhhM3bPOvLoAql8sRqPV43lPN9DKp9NNmDRmNdttVdBZKtFxkkThFkjV10YOjLVbelsuuXwIMh8N1yO9uAx21xgBiFSHSZTlNtg4YWbHcFzVQLPpvjJLak759r9b7tq7JZHy+fPZqI2W7Nk+qLtkBIZHu2o5jhO1bTkWODoOQjDIJIRTLne+aFmOL5wG+0TdiBO57j+CZ-mBH7bmoRJ-JqRHUVG9wYtorywTel4dpRcGTtyiGkNet7oHmBZoFgyr0WiLR4iqdyPsWCavjxAEkWoZLAFCIIceBQ7KbBJCvJw05AA

Related Issues:

Bắt đầu với bản tái hiện được liên kết trong TypeScript Playground bằng cách sử dụng phiên bản được báo cáo 3.7.x-dev và kiểm tra cách các kiểu JSDoc được thu hẹp thông qua switch trên action.type. So sánh lệnh gọi reducer được báo cáo với các kiểu mong đợi; hoàn tất có nghĩa là ví dụ không còn yêu cầu @ts-ignore trong khi vẫn giữ nguyên các kiểu reducer và action đã nêu.