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.

Inizia con la riproduzione minima in TypeScript 2.2.2 presente nell’issue, concentrandoti su genericObjectFunction e sull’inferenza dalla signature di indice di Errors a Record. Il lavoro è completato quando genericObjectFunction(errors) compila mantenendo la compatibilità con Record dimostrata.