TypeScript 2.4コンパイルエラーを引き起こす一般的な推論

Question

一般的な推論の変更により、既存のTypeScriptコードブレークが発生しています。

例：

interface Action { 
    type: string; 
} 
interface MyAction extends Action { 
    payload: string; 
} 
interface MyState {} 

type Reducer<S> = <A extends Action>(state: S, action: A) => S; 

const myReducer: Reducer<MyState> = (state: MyState, action: MyAction) => { 
    if (action.type === "MyActionType") { 
     return {}; 
    } 
    else { 
     return {}; 
    } 
}; 

とコンパイルエラー：

Error:(11, 7) TS2322:Type '(state: MyState, action: MyAction) => {}' is not assignable to type 'Reducer<MyState>'. 
    Types of parameters 'action' and 'action' are incompatible. 
    Type 'A' is not assignable to type 'MyAction'. 
     Type 'Action' is not assignable to type 'MyAction'. 
     Property 'payload' is missing in type 'Action'. 

Answer 1

interface MyOtherAction { 
    type: 'MyOtherActionType' 
    foo: number 
} 

declare const state: State 
declare const myOtherAction: MyOtherAction 

// the following is a valid call according to myReducer's signature 
myReducer(state, myOtherAction) 

あなたはmyReducerに割り当てた値を使用すると、エラーが出るので、アクションのすべてのタイプを受け入れませんが。

2つのパラメータ/戻り値の間に制約を作成しないので、2番目のパラメータを汎用化する理由はありません。ここに来て誰にも

type Reducer<S> = (state: S, action: Action) => S;