Generic not inferred inside mapped type parameter

TypeScript Version: 3.2.2

Search Terms: generic inference {} createStructuredSelector mapped types

Code

type Selector<S, R> = (state: S) => R;

declare function createStructuredSelector<S, T>(
    selectors: { [K in keyof T]: Selector<S, T[K]> },
): Selector<S, T>;

type State = { foo: number };
declare const mySelector: Selector<State, boolean>;

// Workaround: use explicit generics
// const result = createStructuredSelector<State, { mySelector: boolean }>({

// `State` generic incorrectly inferred as `{}`.
const result = createStructuredSelector({
    // Unexpected type error under `strictFunctionTypes` due to bad inference (above)
    mySelector,
});

result;

Inizia riproducendo l’esempio di TypeScript 3.2.2 con il mapped type e strictFunctionTypes abilitato, quindi traccia il comportamento dell’inferenza generica per createStructuredSelector. Il lavoro è completato quando la chiamata senza annotazioni inferisce State invece di {} e non produce più l’errore di tipo segnalato; nell’issue non è indicato alcun percorso di file sorgente o di test.