Repository navigation
Bad type inference between identical mapped types #18338
Description
TypeScript Version: nightly (2.5.0-dev.20170908)
Code
type IdMapped<T> = { [K in keyof T]: T[K] }
declare const f: <T>() => IdMapped<T>;
declare const g: <U>() => { [K in keyof U]: U[K] };
// Type 'IdMapped<{}>' is not assignable to type '{ [K in keyof T]: T[K]; }'
const h: typeof g = f;Expected behavior:
Should compile without errors. T should be inferred as U.
Activity