Broken inference between index typed object and Record

TypeScript Version: 2.2.2

Code

interface Errors {
  [field: string]: {
    key: string
    message: string
  }
}

const errors: Errors = {}

function genericObjectFunction<K extends string, V>(obj: Record<K, V>): [K, V][] {
  return []
}

/*
 Argument of type 'Errors' is not assignable to parameter of type 'Record<string, never>'.
 Index signatures are incompatible.
 Type '{ key: string; message: string; }' is not assignable to type 'never'.
 */
genericObjectFunction(errors)

The types seem generally compatible though, as expected this is legal:

const errorRecord: Record<string, { key: string, message: string }> = errors

Expected behavior:
genericObjectFunction(errors) should compile.

Commencez par la reproduction minimale en TypeScript 2.2.2 dans l’issue, en vous concentrant sur genericObjectFunction et l’inférence de la signature d’index de Errors vers Record. Le travail est terminé lorsque genericObjectFunction(errors) compile tout en préservant la compatibilité avec Record démontrée.