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;

Beginne damit, das Beispiel für TypeScript 3.2.2 mit dem mapped type und aktiviertem strictFunctionTypes zu reproduzieren, und verfolge dann das Verhalten der generischen Inferenz für createStructuredSelector. Als abgeschlossen gilt, wenn der nicht annotierte Aufruf State statt {} inferiert und den gemeldeten Typfehler nicht mehr erzeugt; in der Issue ist kein Quellcodedateipfad oder Testpfad angegeben.