- 
                Notifications
    You must be signed in to change notification settings 
- Fork 13.1k
Closed
Labels
By DesignDeprecated - use "Working as Intended" or "Design Limitation" insteadDeprecated - use "Working as Intended" or "Design Limitation" insteadFixedA PR has been merged for this issueA PR has been merged for this issue
Description
export function keyOf<a>(value: { key: a; }): a {
    return value.key;
}
export interface Data {
    key: number;
    value: Date;
}
var data: Data[] = [];
export function toKeys<a>(values: a[], toKey: (value: a) => string): string[] {
    return undefined;
}
toKeys(data, keyOf); // <-- actual ok, expected error, since `keyOf` should be inferred as `number` rather than `string`sergey-shandar
Metadata
Metadata
Assignees
Labels
By DesignDeprecated - use "Working as Intended" or "Design Limitation" insteadDeprecated - use "Working as Intended" or "Design Limitation" insteadFixedA PR has been merged for this issueA PR has been merged for this issue
